Theorem ContinuousAffineEquiv.image_symm

Modification history