mathlib3
c5a8a818
- refactor(topology/algebra/uniform_group): Use `to_additive`. (#11662)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
refactor(topology/algebra/uniform_group): Use `to_additive`. (#11662) This PR refactors `topology/algebra/uniform_group` to use `to_additive`.
Author
tb65536
Parents
5472f0a7
Loading