Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.monic.of_mul_monic_left

Modification history

2022-03-05 17:38
src/data/polynomial/monic.lean
feat(data/polynomial/monic): add monic_of_mul_monic_left/right (#12446) …
Added polynomial.monic.of_mul_monic_leftView on Github →