Theorem Subspace.closedComplemented_of_closed_compl

Modification history