Theorem polynomial.integral_normalization_coeff_ne_nat_degree
Modification history
2021-02-28 07:50
src/data/polynomial/integral_normalization.lean
chore(*): more line lengths (#6472)
Modified polynomial.integral_normalization_coeff_ne_nat_degreeView on Github →2020-07-22 19:30
src/data/polynomial/integral_normalization.lean
refactor(data/polynomial): re-organizing (#3512) …
Modified polynomial.integral_normalization_coeff_ne_nat_degreeView on Github →