Theorem LinearMap.Algebra.coe_lmul_eq_mul

Modification history