Theorem LinearMap.SeparatingLeft.toMatrix₂'

Modification history