mathlib3
a979d15c - feat(order/filter): `∃ᶠ m in at_top, m ≡ d [MOD n]` (#9666)

Commit

4 years ago

feat(order/filter): `∃ᶠ m in at_top, m ≡ d [MOD n]` (#9666)

Author

urkud

urkud

Parents

Loading