mathlib
5c954e12 - chore(order/conditionally_complete_lattice): General cleanup (#13319)

Commit

3 years ago

chore(order/conditionally_complete_lattice): General cleanup (#13319) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>

Author

vihdzp

Parents