Commit 2021-10-22 15:58 29553061
View on Github →feat(ring_theory/finiteness): generalize module.finite to noncommutative setting (#9860)
An almost for free generalization of module.finite
to semiring
.
feat(ring_theory/finiteness): generalize module.finite to noncommutative setting (#9860)
An almost for free generalization of module.finite
to semiring
.