mathlib
8ecf53d9 - feat(order/filter/countable_Inter): `sup` and `inf` (#3154)

Commit

5 years ago

feat(order/filter/countable_Inter): `sup` and `inf` (#3154)

Author

urkud

urkud

Parents

Loading