Theorem WithBot.succ_unbot

Modification history

2023-03-18 11:56
Mathlib/Order/SuccPred/Basic.lean
feat: forward-port leanprover-community/mathlib#18582 (#2929)
Added WithBot.succ_unbotView on Github →