mathlib
14d206b3 - feat(order/filter/interval): define class `filter.is_interval_generated` (#3663)

Commit

5 years ago

feat(order/filter/interval): define class `filter.is_interval_generated` (#3663)

Author

urkud

urkud

Parents

Loading