Theorem isGreatest_himp

Modification history

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