Theorem ContinuousAffineEquiv.refl_apply

Modification history