Theorem ContinuousAffineEquiv.preimage_symm

Modification history