Commit 2024-10-06 06:19 7c4340d1

View on Github →

feat(EssSup): More conditionally complete lattice lemmas (#17225) From LeanAPAP

Estimated changes

added theorem essInf_count_eq_ciInf
added theorem essInf_eq_ciInf
added theorem essSup_count_eq_ciSup
added theorem essSup_eq_ciSup
modified theorem essSup_smul_measure