Commit 2024-11-23 09:01 4fd77b8b

View on Github →

chore: missing MvPolynomial.eval lemmas (#19356) Revealed by a new user question on zulip.

Estimated changes