Theorem LinearMap.toMatrix₂'_mul

Modification history