Theorem WithTop.pred_eq_top

Modification history

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