Commit 2025-05-29 13:58 bd7870a7

View on Github →

feat: associativity lemmas for MultilinearMap composition (#25169) Also tidies up the variables a bit to state these.

Estimated changes