Theorem LinearMap.SeparatingLeft.toMatrix₂

Modification history