Theorem Submodule.ClosedComplemented.has_closed_complement

Modification history