Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-10 21:49 ce48727e

View on Github →

fix(order/conditionally_complete_lattice): fix 2 misleading names (#1666)

  • cSup_upper_bounds_eq_cInf → cSup_lower_bounds_eq_cInf;
  • cInf_lower_bounds_eq_cSup → cInf_upper_bounds_eq_cSup.

Estimated changes