PR #1555 feat(geometric/manifold): smooth manifolds

feat(geometric/manifold): smooth manifolds #1555

mergify merged 8 commits into leanprover-community:master from sgouezel:smooth_manifold

smooth manifolds

b4e00d63

jcommelin added blocked-by-other-PR

jcommelin added WIP

jcommelin added help-wanted

sgouezel changed the title ~~smooth manifolds~~ feat(geometric/manifold): smooth manifolds 6 years ago

fix docstrings

2b9098f4

update docstring

6ce30a3f

Merge remote-tracking branch 'upstream/master' into smooth_manifold

345a62bc

sgouezel removed WIP

sgouezel removed blocked-by-other-PR

sgouezel added awaiting-review

Merge branch 'master' into smooth_manifold

bda57da4

sgouezel removed awaiting-review

sgouezel added WIP

robertylewis assigned

avigad 6 years ago

remove out_param

d8c89756

sgouezel removed WIP

sgouezel removed help-wanted

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 smooth_manifold

f13eadca

Merge branch 'master' into smooth_manifold

0d1ebc32

mergify merged f19dbf29 into master 6 years ago

sgouezel deleted the smooth_manifold branch 5 years ago

Reviewers

robertylewis

PatrickMassot

Assignees

avigad

Labels

ready-to-merge

Milestone

No milestone

mathlib3 feat(geometric/manifold): smooth manifolds #1555 Merged

feat(geometric/manifold): smooth manifolds #1555

mathlib3
feat(geometric/manifold): smooth manifolds
#1555

Merged