Theorem sInf_upperBounds_eq_sSup

Modification history

2026-02-03 12:05

Mathlib/Order/CompleteLattice/Basic.lean

chore(Order/CompleteLattice/Basic): fix a name (#34673) …

Added sInf_upperBounds_eq_sSup View on Github →