Theorem Submodule.IsCompl.projection_apply

Modification history