mathlib
313f36d4 - feat(order/filter/lift): replace some implications with iffs (#16452)

Commit

3 years ago

feat(order/filter/lift): replace some implications with iffs (#16452)

Author

urkud

urkud

Parents

Loading