Mathlib v3 is deprecated. Go to Mathlib v4

Def pi.is_ring_hom_pi

Modification history

2019-05-20 18:35
src/algebra/pi_instances.lean
feat(category_theory): limits in CommRing (#1006) …
Deleted pi.is_ring_hom_piView on Github →
2018-12-20 23:12
algebra/pi_instances.lean
feat(category_theory): assorted small changes from the old limits PR (#512)
Added pi.is_ring_hom_piView on Github →