mathlib3
feat(set_theory): add to cardinal, ordinal, cofinality
#963

Merged

feat(set_theory): add to cardinal, ordinal, cofinality #963

mergify merged 7 commits into master from ordinal_pr

fpvandoorn requested a review 7 years ago

digama0 commented on 2019-04-25

fpvandoorn force pushed from f83911ec to 1ff9391a 7 years ago

feat(set_theory): add to cardinal, ordinal, cofinality

f6edcada

fix name change in other files

89656970

address all of Mario's comments

076419df

use classical tactic in order/basic

67a33cf4

fix error

2e9a64bb

fpvandoorn force pushed from b630540e to 2e9a64bb 7 years ago

digama0 dismissed these changes on 2019-05-09

Merge branch 'master' into ordinal_pr

7ca1f870

mergify dismissed their stale review 7 years ago

Pull request has been modified.

digama0 approved these changes on 2019-05-09

digama0 added ready-to-merge

Merge branch 'master' into 'ordinal_pr'

840eff64

mergify merged e66e1f30 into master 7 years ago

mergify deleted the ordinal_pr branch 7 years ago

Reviewers

digama0

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone