manifold): define manifolds
#1422

Merged

feat(geometry/manifold/manifold): define manifolds #1422

mergify merged 10 commits into leanprover-community:master from sgouezel:manifold

feat(geometry/manifold/manifold): define manifolds

8b369f7d

sgouezel requested a review 6 years ago

jcommelin commented on 2019-09-09

Update src/geometry/manifold/manifold.lean

cacf1005

reviewer comments

78ac5578

jcommelin commented on 2019-09-09

rwbarton commented on 2019-09-11

cipher1024 assigned

jcommelin 6 years ago

jcommelin assigned

avigad 6 years ago

jcommelin assigned

PatrickMassot 6 years ago

notations, comments

d9734e78

kim-em approved these changes on 2019-09-24

Update src/geometry/manifold/manifold.lean

2e378a56

Update src/geometry/manifold/manifold.lean

63c3cb9a

kim-em added ready-to-merge

PatrickMassot removed ready-to-merge

fpvandoorn added review-in-progress

PatrickMassot commented on 2019-09-26

kim-em commented on 2019-09-26

manifolds: reviewers comments

898babac

comment on notation for composition

84d2957f

add documentation on atlases and structomorphisms

eff550c7

PatrickMassot removed review-in-progress

PatrickMassot added ready-to-merge

PatrickMassot approved these changes on 2019-09-27

Merge branch 'master' into manifold

62d89ca6

mergify merged 708faa9f into master 6 years ago

sgouezel deleted the manifold branch 6 years ago

Reviewers

kim-em

PatrickMassot

rwbarton

jcommelin

Assignees

avigad

jcommelin

PatrickMassot

Labels

ready-to-merge

Milestone

No milestone

mathlib3 feat(geometry/manifold/manifold): define manifolds #1422 Merged

feat(geometry/manifold/manifold): define manifolds #1422

mathlib3
feat(geometry/manifold/manifold): define manifolds
#1422

Merged