Theorem Submodule.eq_of_isLocalized₀_span

Modification history