Theorem WithBot.bot_lt_natCast

Modification history

2025-11-25 07:45
Mathlib/Algebra/Order/Monoid/Unbundled/WithTop.lean
feat(RingTheory): resultant is in the span of the two polynomials (#31864)
Added WithBot.bot_lt_natCastView on Github →