Theorem WithTop.pred_untop

Modification history

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