mathlib

0ab8a89d - feat(category_theory): limits in CommRing (#1006)

feat(category_theory): limits in CommRing (#1006) * feat(category_theory): limits in CommRing * by * rename * sections * Update src/category_theory/types.lean Co-Authored-By: Johannes Hölzl <johannes.hoelzl@gmx.de>