Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-11 11:52 7e69148c

View on Github →

feat(order/conditionally_complete_lattice): Make cSup_empty a simp lemma (#13318)

Estimated changes

modified theorem cSup_empty
modified theorem csupr_of_empty