Commit 2022-01-05 16:16 3ab1c1cb
View on Github →feat(algebra/polynomial/big_operators): lemmas about polynomial degree of products (#11258)
These already existed for nat_degree but degree versions seemed missing.
from flt-regular
feat(algebra/polynomial/big_operators): lemmas about polynomial degree of products (#11258)
These already existed for nat_degree but degree versions seemed missing.
from flt-regular