Commit 50f73a9

committed

Generalize some results in monalg to nmodType and semiRingType

1 parent 883ecef commit 50f73a9Copy full SHA for 50f73a9

1 file changed

+300

-259

lines changed

src
- monalg.v

1 file changed

+300

-259

lines changed

Comments

(0)