Commit 2021-03-14 06:52 b52337a5
View on Github →feat(topology/algebra/group): Add two easy lemmas (#6669) A topological group is discrete as soon as {1} is open. The closure of a subgroup is a subgroup. From the liquid tensor experiment.
feat(topology/algebra/group): Add two easy lemmas (#6669) A topological group is discrete as soon as {1} is open. The closure of a subgroup is a subgroup. From the liquid tensor experiment.