Theorem orthogonalComplement_eq_orthogonalComplement

Modification history