Theorem WithBot.succ_eq_bot

Modification history

2025-04-02 17:23
Mathlib/Order/SuccPred/WithBot.lean
feat: `Polynomial.coeffList` (#9085) …
Added WithBot.succ_eq_botView on Github →