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