lemmas about semiring structure induced by _× x#2272
Merged
MatthewDaggitt merged 8 commits intoagda:masterfrom Feb 5, 2024
Merged
lemmas about semiring structure induced by `_× x`#2272MatthewDaggitt merged 8 commits intoagda:masterfrom
MatthewDaggitt merged 8 commits intoagda:masterfrom
Commits
Commits on Feb 2, 2024
- committed
- committed
- committed
- committed
- committed
- committed
