Theorem LinearMap.toMatrix₂_mul

Modification history