mathlib3
feat(algebra/pi_instances): bundled homs for apply and single
#2186
Merged
Merged
feat(algebra/pi_instances): bundled homs for apply and single #2186
mergify
merged
19 commits into
master
from
biproducts-prelim
refactor(group_theory/submonoid): review API
af64d1db
Merge branch 'master' of git://github.com/leanprover-community/mathli…
cd87fca9
Fix linter errors
4b7d24f2
Merge remote-tracking branch 'origin/master' into submonoid-review
3f1ed7a7
feat(algebra/pi_instances): bundle homs for apply and single
5ce875fe
kim-em
changed the title
rename to avoid a name clash
f1bd3042
removing redundant lemmas
d81f0b50
Update src/algebra/group/prod.lean
f59f0b3b
Update src/group_theory/submonoid.lean
62aa8a6a
Update src/group_theory/submonoid.lean
ae26fc62
Update src/group_theory/submonoid.lean
a9a64aba
add @[simp] annotations
632297a7
merge
3aa1652b
fixes
25f6b15b
merge
8d17a5ca
Merge remote-tracking branch 'origin/master' into biproducts-prelim
2a25e5cc
kim-em
changed the title
merge
15b8c3f3
jcommelin
commented
on 2020-04-01
adding missing lemmas about ring_hom
f0bb39a6
jcommelin
approved these changes
on 2020-04-02
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into biproducts-prelim
ad4002e1
Login to write a write a comment.
Login via GitHub