Theorem mem_extreme_points_iff_forall_segment
Modification history
2022-04-12 18:28
src/analysis/convex/extreme.lean
chore(*): remove instance arguments that are inferrable from earlier (#13386) …
Modified mem_extreme_points_iff_forall_segmentView on Github →