mathlib

31906d88 - chore(algebra/category/CommRing/limits): fix typo, remove private (#1584)

chore(algebra/category/CommRing/limits): fix typo, remove private (#1584) * chore(algebra/category/CommRing/limits): fix typo, remove private * Update src/algebra/category/CommRing/limits.lean Co-Authored-By: Johan Commelin <johan@commelin.net> * Update src/algebra/category/CommRing/limits.lean * Update src/algebra/category/CommRing/limits.lean * bleh * Update src/algebra/category/CommRing/limits.lean