Theorem AffineEquiv.preimage_symm

Modification history