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 Nov 26, 2024

Commits on Dec 5, 2024