Theorem LinearMap.IsOrthoᵢ.separatingRightIffNotIsOrthoBasisSelf

Modification history