Theorem AffineEquiv.image_symm

Modification history