Theorem exposed_points_subset_extreme_points
Modification history
2021-10-03 01:38
src/analysis/convex/exposed.lean
feat(analysis/convex/function): helper lemmas and general cleanup (#9438) …
Modified exposed_points_subset_extreme_pointsView on Github →