Skip to content

Generalize some results in monalg to nmodType and semiRingType#83

Merged
pi8027 merged 2 commits intomasterfrom
semiring-monalg
Aug 18, 2025
Merged

Generalize some results in monalg to nmodType and semiRingType#83
pi8027 merged 2 commits intomasterfrom
semiring-monalg

Commits

Commits on Aug 18, 2025