Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-09 17:28 bc140d29

View on Github →

feat(data/polynomial/degree/lemmas): add some lemmas and rename some lemmas (#13235) rename nat_degree_mul_C_eq_of_no_zero_divisors to nat_degree_mul_C rename nat_degree_C_mul_eq_of_no_zero_divisors to nat_degree_C_mul

Estimated changes