mathlib
6aed9a77 - feat(analysis/convex): add dual cone (#7738)

Commit

4 years ago

feat(analysis/convex): add dual cone (#7738) Add definition of the dual cone of a set in a real inner product space

Author

abentkamp

Parents