mathlib3
03dd404a - feat(algebra/category): (co)limits in CommRing (#10593)

Commit

4 years ago

feat(algebra/category): (co)limits in CommRing (#10593) Co-authored-by: erd1 <the.erd.one@gmail.com>

Author

erdOne

Parents