Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pi.ring_hom_apply

Modification history

2021-08-10 09:12
src/algebra/ring/pi.lean
feat(algebra/group/pi): Add `pi.const_(monoid|add_monoid|ring|alg)_hom` (#8518)
Deleted pi.ring_hom_applyView on Github →
2020-07-28 09:27
src/algebra/ring/pi.lean
refactor(algebra/category/*/limits): refactor concrete limits (#3463) …
Added pi.ring_hom_applyView on Github →