Commit 2026-02-03 12:05 25817d69

View on Github →

chore(Order/CompleteLattice/Basic): fix a name (#34673) Rename sInf_upperBounds_eq_csSup to sInf_upperBounds_eq_sSup.

Estimated changes

deleted theorem sInf_upperBounds_eq_csSup