Theorem WithBot.unbotD_natCast

Modification history

2026-06-05 08:51
Mathlib/Algebra/Order/Monoid/Unbundled/WithTop.lean
feat(Algebra/Polynomial): leading coefficient of derivative (#40173) …
Added WithBot.unbotD_natCastView on Github →