Theorem ContinuousLinearEquiv.toContinuousAffineEquiv_toContinuousAffineMap

Modification history