Theorem ContinuousLinearEquiv.preimage_closure

Modification history