mathlib3
feat(topology/constructions): topology of sum types
#1016

Merged

feat(topology/constructions): topology of sum types #1016

mergify merged 5 commits into master from rwbarton-sigma

feat(topology/constructions): topology of sum types

faf6f706

rwbarton requested a review 6 years ago

kim-em dismissed these changes on 2019-05-13

jcommelin commented on 2019-05-13

sgouezel added ready-to-merge

Merge branch 'master' into rwbarton-sigma

f7a1537c

sgouezel requested a review from

sgouezel 6 years ago

mergify dismissed their stale review 6 years ago

Pull request has been modified.

sgouezel dismissed these changes on 2019-05-13

Merge branch 'master' into rwbarton-sigma

a662784b

jcommelin dismissed these changes on 2019-05-13

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.

jcommelin approved these changes on 2019-05-13

Merge branch 'master' into 'rwbarton-sigma'

35995d9c

Merge branch 'master' into 'rwbarton-sigma'

e47f86c4

mergify merged 07ba43ee into master 6 years ago

mergify deleted the rwbarton-sigma branch 6 years ago

Reviewers

jcommelin

sgouezel

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone