mathlib

76c426ce - Merge branch 'degree-gi' into bundled-monomial