Commit 2024-01-10 07:33 b520d4ab

View on Github →

feat: Generalizing two lemmas from CommRing to CommSemiring (#9599)

Estimated changes