Commit 9841ccf

committed

Cleanup proofs

1 parent 0b82f50 commit 9841ccfCopy full SHA for 9841ccf

2 files changed

+153

-268

lines changed

src
- monalg.v
- mpoly.v

2 files changed

+153

-268

lines changed

Comments

(0)