Skip to content

Commit

Permalink
Generalize some results in monalg to nmodType and semiRingType
Browse files Browse the repository at this point in the history
  • Loading branch information
@pi8027
pi8027 committed Nov 26, 2024
1 parent 31e1cb6 commit a09a371
Showing 1 changed file with 285 additions and 219 deletions.
Loading

0 comments on commit a09a371

Please sign in to comment.