mathlib3
518b5d25 - chore(topology/bases): golf a proof (#12127)

Commit

3 years ago

chore(topology/bases): golf a proof (#12127) Also add `function.injective_iff_pairwise_ne`.

Author

urkud

Parents