Commit 2024-10-28 08:12 f717d6ab
View on Github →feat: ext lemmas for MultilinearMap (#18308)
I tried to write a Prod one too, but the dependent types become unreasonable so it would probably be useless.
feat: ext lemmas for MultilinearMap (#18308)
I tried to write a Prod one too, but the dependent types become unreasonable so it would probably be useless.