Commit 2021-12-30 14:54 ac976755
View on Github →feat(data/polynomial/degree/definition): nat_degree_monomial in ite form (#11123) Changed the proof usage elsewhere. This helps deal with sums of over monomials.
feat(data/polynomial/degree/definition): nat_degree_monomial in ite form (#11123) Changed the proof usage elsewhere. This helps deal with sums of over monomials.