Theorem LinearMap.lsmul_eq_DistribMulAction_toLinearMap

Modification history