Theorem Subspace.closedComplemented_iff_has_closed_compl

Modification history