Theorem ContinuousLinearEquiv.isClosed_image

Modification history