Theorem LinearMap.IsOrthoᵢ.separatingLeftOfNotIsOrthoBasisSelf

Modification history