Theorem LinearEquiv.coe_toContinuousLinearEquiv

Modification history