Theorem LinearMap.mul_toMatrix₂_mul

Modification history