tangent_cone): more properties of the tangent cone
#1136

Merged

feat(analysis/calculus/tangent_cone): more properties of the tangent cone #1136

mergify merged 3 commits into leanprover-community:master from sgouezel:tangent_cone

feat(analysis/calculus/tangent_cone): more properties of the tangent …

8a47efc1

sgouezel requested a review 6 years ago

Merge branch 'master' into tangent_cone

44cdf687

avigad assigned

avigad 6 years ago

avigad approved these changes on 2019-07-10

avigad added ready-to-merge

Merge branch 'master' into tangent_cone

fed1202a

mergify merged e25a5970 into master 6 years ago

sgouezel deleted the tangent_cone branch 6 years ago

Reviewers

avigad

Assignees

avigad

Labels

ready-to-merge

Milestone

No milestone