mathlib
520e79d9 - feat(analysis/convex/exposed): introduce exposed sets (#7928)

Commit
4 years ago
feat(analysis/convex/exposed): introduce exposed sets (#7928) introduce exposed sets Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>
Author
Parents
Loading