Theorem to_uniform_space_eq
Modification history
2022-01-26 13:30
src/topology/algebra/uniform_group.lean
refactor(topology/algebra/uniform_group): Use `to_additive`. (#11662) …
Deleted to_uniform_space_eqView on Github →2021-01-27 05:12
src/topology/algebra/uniform_group.lean
chore(*): split long lines (#5908)
Modified to_uniform_space_eqView on Github →