mathlib3
feat(data/finset): new basic material on finsets and fintypes
#2068

Merged

feat(data/finset): new basic material on finsets and fintypes #2068

mergify merged 8 commits into leanprover-community:master from sgouezel:more_finset

feat(data/finset): additional basic material

28288657

minor fixes

d3e346fc

sgouezel added awaiting-review

jcommelin commented on 2020-02-29

golfed

a8d04585

jcommelin commented on 2020-03-02

Update src/data/finset.lean

9a9dc68c

Update src/data/finset.lean

28dff5a5

Update src/data/finset.lean

6be83f82

golfed

8485733c

robertylewis approved these changes on 2020-03-02

robertylewis removed awaiting-review

robertylewis added ready-to-merge

Merge branch 'master' into more_finset

c52b9e55

mergify merged 8919541a into master 6 years ago

sgouezel deleted the more_finset branch 6 years ago

Reviewers

robertylewis

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone