John Carlos Baez on Nostr: nprofile1q…cyu7x - on the train up to Berkeley I just checked by hand that your ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqt76as6gjr7pzg0taz40e55smjjegmj89ud7g056aqed90hs7cynsacyu7x (nprofile…yu7x) - on the train up to Berkeley I just checked by hand that your first choice of D really defines a class-preserving outer automorphism. I used some cohomology but to check that D really is a cocycle, is not a conoundary, and defines a class-preserving map I used brute force. Very satisfying, though!