Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set_semiring.image_hom_def

Modification history

2023-03-03 14:04
src/data/set/semiring.lean
fix(data/set/semiring): fix lemma name (#18545) …
Added set_semiring.image_hom_defView on Github →