Theorem Subalgebra.le_topologicalClosure

Modification history