Commit a61a008

committed

Generalize some results in monalg to nmodType and semiRingType

1 parent 02bcb5a commit a61a008Copy full SHA for a61a008

1 file changed

+187

-169

lines changed

src
- monalg.v

1 file changed

+187

-169

lines changed

Comments

(0)