Theorem LinearMap.mul_toMatrix₂'_mul

Modification history