Skip to content

Generalize some results in monalg to nmodType and semiRingType#83

Draft
pi8027 wants to merge 2 commits intomasterfrom semiring-monalg

Commits

Commits on Dec 5, 2024