Commit 2024-10-24 15:52 ff832ebe

View on Github →

chore: use alias for duplicate lemma MvPolynomial.eval₂Hom_C_left (#17263)

Estimated changes