Theorem monoid_hom.map_div
Modification history
2021-12-10 13:26
src/algebra/group/hom.lean
feat(*): introduce classes for types of homomorphism (#9888) …
Deleted monoid_hom.map_divView on Github →2021-08-01 21:03
src/algebra/group/hom.lean
chore(algebra/group/hom_instances): add monoid_hom versions of linear_map lemmas (#8461) …
Added monoid_hom.map_divView on Github →2020-11-17 12:21
src/algebra/group_with_zero/basic.lean
feat(algebra/group_with_zero): Bundled `monoid_with_zero_hom` (#4995) …
Deleted monoid_hom.map_divView on Github →2020-09-16 06:06
src/algebra/group_with_zero.lean
feat(category_theory): monoidal natural transformations and discrete monoidal categories (#4112)
Modified monoid_hom.map_divView on Github →2020-07-01 23:16
src/algebra/group_with_zero.lean
chore(algebra/*): deduplicate `*_with_zero`/`semiring`/`field` (#3259) …
Added monoid_hom.map_divView on Github →