Theorem Submodule.mem_of_isLocalized_span

Modification history