Theoremsadd, add_const, add_strictConcaveOn, comp, comp_affineMap, comp_convexOn, comp_linearMap, convex_ge, convex_gt, convex_hypograph, convex_strict_hypograph, dual, ge_on_segment, ge_on_segment', inf, left_le_of_le_right, left_le_of_le_right', left_le_of_le_right'', left_lt_of_lt_right, left_lt_of_lt_right', lt_right_of_left_lt, lt_right_of_left_lt', neg, openSegment_subset_strict_hypograph, right_le_of_le_left, right_le_of_le_left', right_le_of_le_left'', smul, sub, sub_strictConvexOn, subset, translate_left, translate_right, add, add_const, add_strictConvexOn, comp, comp_affineMap, comp_concaveOn, comp_linearMap, convex_epigraph, convex_le, convex_lt, convex_strict_epigraph, dual, le_left_of_right_le, le_left_of_right_le', le_left_of_right_le'', le_on_segment, le_on_segment', le_right_of_left_le, le_right_of_left_le', le_right_of_left_le'', lt_left_of_right_lt, lt_left_of_right_lt', lt_right_of_left_lt, lt_right_of_left_lt', neg, openSegment_subset_strict_epigraph, smul, sub, sub_strictConcaveOn, subset, sup, translate_left, translate_right, concaveOn, convexOn, concaveOn_of_lt, convexOn_of_lt, strictConcaveOn_of_lt, strictConvexOn_of_lt, concaveOn_symm, convexOn_symm, strictConcaveOn_symm, strictConvexOn_symm, add, add_concaveOn, add_const, comp, comp_strictConvexOn, concaveOn, convex_gt, dual, eq_of_isMaxOn, inf, lt_on_openSegment, lt_on_open_segment', neg, sub, sub_convexOn, subset, translate_left, translate_right, add, add_const, add_convexOn, comp, comp_strictConcaveOn, convexOn, convex_lt, dual, eq_of_isMinOn, lt_on_openSegment, lt_on_open_segment', neg, sub, sub_concaveOn, subset, sup, translate_left, translate_right, concaveOn_const, concaveOn_id, concaveOn_iff_convex_hypograph, concaveOn_iff_div, concaveOn_iff_forall_pos, concaveOn_iff_pairwise_pos, concaveOn_of_convex_hypograph, convexOn_const, convexOn_id, convexOn_iff_convex_epigraph, convexOn_iff_div, convexOn_iff_forall_pos, convexOn_iff_pairwise_pos, convexOn_of_convex_epigraph, neg_concaveOn_iff, neg_convexOn_iff, neg_strictConcaveOn_iff, neg_strictConvexOn_iff, strictConcaveOn_iff_div, strictConvexOn_iff_div | 132 |