Theorem Submodule.eq_of_localization₀_maximal

Modification history