Theorem LinearEquiv.toLinearEquiv_toContinuousLinearEquiv_symm

Modification history