Mathlib v3 is deprecated. Go to Mathlib v4

Def ring_hom.copy

Modification history

2022-05-17 13:06

src/algebra/hom/ring.lean

split(algebra/hom/ring): Split off `algebra.ring.basic` (#14144) …

Modified ring_hom.copy View on Github →

2022-02-10 10:46

src/algebra/ring/basic.lean

feat(algebra/order/hom/ring): Ordered semiring/ring homomorphisms (#11634) …

Added ring_hom.copy View on Github →