Theorem Submodule.IsCompl.projection_apply_left

Modification history