Theorem Submodule.localized'_eq_span

Modification history