tangent_cone): more properties of the tangent cone (#1136)

Commit

6 years ago

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

References

Author

sgouezel

Committer

mergify[bot]

Parents