mathlib
2eba5241 - chore(topology/algebra/uniform_group): use morphism classes (#13273)

Commit

3 years ago

chore(topology/algebra/uniform_group): use morphism classes (#13273)

Author

ADedecker

ADedecker

Parents

Loading