Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-13 02:38 8c9ee310

View on Github →

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

Estimated changes

added theorem cInf_le_iff
added theorem le_cSup_iff'
added theorem le_cSup_iff