Theorem open_subgroup.is_closed
Modification history
2020-07-21 01:55
src/topology/algebra/open_subgroup.lean
refactor(topology/algebra/monoid): changed topological_monoid into has_continuous_mul (#3481)
Modified open_subgroup.is_closedView on Github →