mathlib3
feat(geometry/manifold): improvements for smooth manifolds
#1593
Merged
Overview
Commits
8
Changes
View On GitHub

feat(geometry/manifold): improvements for smooth manifolds #1593

mergify merged 8 commits into leanprover-community:master from sgouezel:smooth_manifold2
sgouezel
sgouezel feat(geometry/manifold): improvements to smooth manifolds
362217ca
sgouezel merge with master
68d6edea
sgouezel fix
3874911d
sgouezel better definition for half-space
e7662eb7
sgouezel fix docstring
6f58ad84
jcommelin
jcommelin commented on 2019-10-22
rwbarton
rwbarton commented on 2019-10-23
rwbarton
rwbarton commented on 2019-10-23
sgouezel address comments
2125f59b
sgouezel more comments
3328ba02
rwbarton
rwbarton approved these changes on 2019-10-23
rwbarton rwbarton added ready-to-merge
mergify[bot] Merge branch 'master' into smooth_manifold2
5cc04888
mergify mergify merged e2a8e639 into master 6 years ago
sgouezel sgouezel deleted the smooth_manifold2 branch 5 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum