Theorem LinearEquiv.coe_toLinearMap_mul

Modification history