Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-24 05:18 cbd1e98c

View on Github →

chore(algebra/category/*): simp lemmas for of_hom (#12638)

Estimated changes

added theorem Algebra.of_hom_apply
added theorem CommRing.of_hom_apply
added theorem Ring.of_hom_apply
added theorem SemiRing.of_hom_apply
added theorem CommGroup.of_hom_apply
added theorem Group.of_hom_apply
added theorem Module.of_hom_apply
added theorem Mon.of_hom_apply
added theorem Magma.of_hom_apply
added theorem Semigroup.of_hom_apply