Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.monic_mul_norm_unit

Modification history

2019-02-10 21:50
src/data/polynomial.lean
feat(algebra/gcd_domain): normalize (#668)
Deleted polynomial.monic_mul_norm_unitView on Github →
2019-01-05 14:13
data/polynomial.lean
feat(data/polynomial): polynomials over a field are a normalization domain (#560)
Added polynomial.monic_mul_norm_unitView on Github →