mathlib3
f2528722 - chore(order/closure): improve theorem statement (#18024)

Commit

3 years ago

chore(order/closure): improve theorem statement (#18024)

Author

ChrisHughes24

ChrisHughes24

Parents

Loading