Theorem LinearMap.mul_toMatrix₂

Modification history