mathlib3
ec74a7cc - feat(topology/algebra/[uniform_]group): more `ext` lemmas (#16667)

Commit

3 years ago

feat(topology/algebra/[uniform_]group): more `ext` lemmas (#16667)

Author

ADedecker

ADedecker

Parents

Loading