mathlib3
feat(topology/topological_fiber_bundle): topological fiber bundles
#1421

Merged

feat(topology/topological_fiber_bundle): topological fiber bundles #1421

mergify merged 5 commits into leanprover-community:master from sgouezel:fiber_bundle

feat(topology/topological_fiber_bundle): topological fiber bundles

7d5de177

sgouezel requested a review 6 years ago

jcommelin commented on 2019-09-09

cipher1024 assigned

PatrickMassot 6 years ago

sgouezel added WIP

Merge branch 'master' into fiber_bundle

411f6812

better definition of fiber bundles

1a8721c8

sgouezel removed WIP

sgouezel added blocked-by-other-PR

Merge branch 'master' into fiber_bundle

447f31e6

sgouezel removed blocked-by-other-PR

sgouezel added awaiting-review

PatrickMassot commented on 2019-10-20

robertylewis approved these changes on 2019-10-21

robertylewis removed awaiting-review

robertylewis added ready-to-merge

Merge branch 'master' into fiber_bundle

308ab969

mergify merged a4bbbdea into master 6 years ago

sgouezel deleted the fiber_bundle branch 6 years ago

Reviewers

robertylewis

jcommelin

PatrickMassot

Assignees

PatrickMassot

Labels

ready-to-merge

Milestone

No milestone