Theorem isLeast_sdiff

Modification history

2025-01-31 16:21
Mathlib/Order/Bounds/Basic.lean
feat(Order/CompleteBooleanAlgebra): Himp in terms of sSup (#20328)
Added isLeast_sdiffView on Github →