Theorem Submodule.topologicalClosure_eq_self

Modification history