Theorem Submodule.ClosedComplemented.of_quotient_finiteDimensional

Modification history