feat(data/fin*): uniqueness of increasing bijection #2258
mergify
merged
16 commits into
master
from
sgouezel_fin
feat(data/fin*): uniqueness of increasing bijection
096df9c9
urkud
commented
on 2020-03-28
protect
628a183f
bryangingechen
commented
on 2020-03-28
remove tidy call
939b2dba
ChrisHughes24
commented
on 2020-03-29
Update src/data/finset.lean
caff7ea4
Update src/data/finset.lean
571a0299
Update src/data/fintype/card.lean
1d4ccc62
Update src/data/fintype/card.lean
c166c602
Update src/data/fintype/card.lean
eac6efe9
prove prod_add, and use this to prove sum_pow_mul_eq_add_pow
2e8c39fa
Merge remote-tracking branch 'origin/master' into HEAD
6be62115
forgot to save
215f0b7f
fix build
2a2690fd
urkud
commented
on 2020-03-29
remove card_sub_card
9399beee
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into sgouezel_fin
abbd9e6d
Merge branch 'master' into sgouezel_fin
c1ba5a80
Merge branch 'master' into sgouezel_fin
ff311f03
Reviewers
Assignees
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub