HenryOakley·3 年前·議論I had to look at theorem 2.1 to verify you had blatantly mistyped the theorem itself. Was that just to mess with us? :)