Mathlib Changelog
v4
Changelog
About
Github
Theorem
Order.succ_eq_sInf
Modification history
2024-08-19 07:41
Mathlib/Order/SuccPred/Basic.lean
feat(Order/SuccPred/Basic): `succ_eq_sInf` (#15907) …
Added
Order.succ_eq_sInf
View on Github →