Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.instances.CommRing.polynomial_obj_α

Modification history

2019-04-09 22:44
src/category_theory/instances/CommRing/basic.lean
reorganising category_theory/instances/rings.lean (#909)
Deleted category_theory.instances.CommRing.polynomial_obj_αView on Github →
2019-01-30 18:20
src/category_theory/instances/rings.lean
refactor(category_theory/instances): rename `examples` to `instances`
Added category_theory.instances.CommRing.polynomial_obj_αView on Github →