mathlib
83f81aea - refactor(topology/algebra/open_subgroup): use `set_like` (#18585)

Commit

2 years ago

refactor(topology/algebra/open_subgroup): use `set_like` (#18585)

Author

urkud

urkud

Parents

Loading