Commit 2026-08-22 18:51 c548b86d
View on Github →feat(ConditionallyCompleteLattice/Indexed): add binary versions of lemmas (#38906) Add binary versions of some of the lemmas. Those are useful when the domain is indexed over the members of a set. From the Carleson project.