Mathlib v3 is deprecated. Go to Mathlib v4

Def alg_hom_nat

Modification history

2020-12-24 08:35
src/algebra/algebra/basic.lean
chore(ring_theory/power_series/well_known): generalize (#5491) …
Deleted alg_hom_natView on Github →
2020-07-08 14:31
src/ring_theory/algebra.lean
chore(*): use is_algebra_tower instead of algebra.comap and generalize some constructions to semirings (#3299) …
Added alg_hom_natView on Github →