Theorem LinearMap.IsOrthoᵢ.not_isOrtho_basis_self_of_separatingLeft

Modification history