mathlib3
8c9ee310 - feat(order/conditionally_complete_lattice): Add `le_cSup_iff` (#13321)

Commit

3 years ago

feat(order/conditionally_complete_lattice): Add `le_cSup_iff` (#13321)

Author

vihdzp

vihdzp

Parents

Loading