Theorem Submodule.eq_bot_of_isLocalized₀_span

Modification history