Theorem monoid_hom.eval_apply
Modification history
2021-04-17 14:18
src/algebra/group/hom_instances.lean
feat(data/equiv/mul_add): use `@[simps]` (#7213) …
Deleted monoid_hom.eval_applyView on Github →2021-04-15 20:50
src/algebra/group/hom.lean
chore(group/ring_hom): fix a nat nsmul diamond (#7201) …
Modified monoid_hom.eval_applyView on Github →