Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
mul_hom.single
Modification history
2022-04-20 18:42
src/algebra/group/pi.lean
feat(algebra/hom/group and *): introduce `mul_hom M N` notation `M →ₙ* N` (#13526) …
Modified
mul_hom.single
View on Github →
2021-03-26 18:26
src/algebra/group/pi.lean
chore(data/pi,algebra/group/pi): reorganize proofs (#6869) …
Modified
mul_hom.single
View on Github →
2021-02-20 11:52
src/algebra/group/pi.lean
feat(*/pi): add lemmas about how `single` interacts with operators (#6317) …
Added
mul_hom.single
View on Github →