Theorem Submodule.IsCompl.projection_ker

Modification history