Theorem LinearEquiv.coe_toLinearMap

Modification history