Theorem Subfield.isClosed_topologicalClosure

Modification history