Theorem Submodule.mem_localized₀

Modification history