Commit 2025-07-31 10:28 968ed346
View on Github →feat(RatFunc/Degree): intDegree_inv (#27625)
Add intDegree_inv, a lemma over RatFunc that states that the degree of the inverse of x is minus the degree of x.
feat(RatFunc/Degree): intDegree_inv (#27625)
Add intDegree_inv, a lemma over RatFunc that states that the degree of the inverse of x is minus the degree of x.