Theorem LinearMap.IsOrthoᵢ.not_isOrtho_basis_self_of_separatingRight

Modification history