Theorem Submodule.submodule_eq_supₛ_le_nonzero_spans

Modification history