mathlib3
feat(data/[fin]set): add some more basic properties of (finite) sets
#948

Merged

feat(data/[fin]set): add some more basic properties of (finite) sets #948

mergify merged 5 commits into master from pr_sets

feat(data/[fin]set): add some more basic properties of (finite) sets

79065777

update after reviews

7e2537da

fpvandoorn requested a review 6 years ago

fix error, move pairwise_disjoint to lattice as well

ce06f50c

fix error

cb21af4a

avigad dismissed these changes on 2019-04-19

avigad added ready-to-merge

digama0 commented on 2019-04-19

fpvandoorn changed the title ~~Pr sets~~ feat(data/[fin]set): add some more basic properties of (finite) sets 6 years ago

cipher1024 removed ready-to-merge

cipher1024 added ready-to-merge

Merge branch 'master' into pr_sets

d5745bcd

ChrisHughes24 dismissed these changes on 2019-04-20

mergify dismissed their stale review 6 years ago

Pull request has been modified.

mergify dismissed their stale review 6 years ago

Pull request has been modified.

ChrisHughes24 approved these changes on 2019-04-20

mergify merged 4b9d94dc into master 6 years ago

mergify deleted the pr_sets branch 6 years ago

Reviewers

ChrisHughes24

digama0

avigad

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone