mathlib
c294e4bb - feat(topology/*): replace some `a < b` assumptions with `a ≠ b` (#11650)

Commit

4 years ago

feat(topology/*): replace some `a < b` assumptions with `a ≠ b` (#11650)

Author

urkud

urkud

Parents

Loading