Theorem partialSups_add_one'

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_add_one'View on Github →