Theorem partialSups_succ'

Modification history

2025-08-18 14:26
Mathlib/Algebra/Order/SuccPred/PartialSups.lean
feat(Algebra/Order): add several lemmas related to `partialSups` (#26851) …
Added partialSups_succ'View on Github →