HenryOakley·hace 3 años·discussI had to look at theorem 2.1 to verify you had blatantly mistyped the theorem itself. Was that just to mess with us? :)