Theorem Submodule.supᵢ_eq_span

Modification history