Commit 2021-06-14 06:07 6aed9a77
View on Github →feat(analysis/convex): add dual cone (#7738) Add definition of the dual cone of a set in a real inner product space
feat(analysis/convex): add dual cone (#7738) Add definition of the dual cone of a set in a real inner product space