Commit 2024-03-06 11:37 9fa66335

View on Github →

refactor(Order): rename cInf -> csInf and cSup -> csSup (#10985) Does the following renames:

  • cSup_eq_max' -> csSup_eq_max'
  • cInf_eq_min' -> csInf_eq_min'
  • cSup_mem -> csSup_mem
  • cInf_mem -> csInf_mem
  • cSup_lt_iff -> csSup_lt_iff
  • lt_cInf_iff -> lt_csInf_iff

Estimated changes

deleted theorem Finset.Nonempty.cInf_mem
deleted theorem Finset.Nonempty.cSup_mem
deleted theorem Set.Finite.cSup_lt_iff
deleted theorem Set.Finite.lt_cInf_iff
deleted theorem Set.Nonempty.cInf_mem
deleted theorem Set.Nonempty.cSup_mem
added theorem Set.Nonempty.csInf_mem
added theorem Set.Nonempty.csSup_mem