Theorem ContinuousAffineEquiv.toAffineEquiv_refl

Modification history