mathlib documentation

algebra.category.Ring.instances

Ring-theoretic results in terms of categorical languages #