Documentation

Mathlib.Algebra.Category.Ring.Instances

Ring-theoretic results in terms of categorical languages #

@[instance 100]
Equations
  • =