Convex 📖 | MathDef | 196 mathmath: ConvexCone.convex, Convex.translate_preimage_right, Convex.neg, strictConvexOn_iff_slope_strict_mono_adjacent, Convex.intrinsicClosure, quasiconcaveOn_iff_min_le, Convex.convex_isRCLikeNormedField, convex_iff_ordConnected, QuasiconvexOn.convex_lt, Convex.smul_preimage, concaveOn_iff_slope_anti_adjacent, ProperCone.convex, convex_iff_sum_mem, Convex.vadd, Convex.convex_remove_iff_notMem_convexHull_remove, convexHull_eq_iInter, convex_iff_pairwise_pos, convex_Iic, Metric.exists_forall_closedEBall_subset_aux₂, Convex.affine_image, coe_convexAddSubmonoid, convex_pi, locallyConvexSpace_iff, Antitone.convex_le, ConcaveOn.convex_ge, LocallyConvexSpace.convex_basis_zero, MonotoneOn.convex_ge, QuasiconcaveOn.convex_gt, AntitoneOn.convex_le, Convex.cthickening, AntitoneOn.convex_gt, MonotoneOn.convex_le, convex_iff_openSegment_subset, Monotone.convex_ge, MonotoneOn.convex_gt, convex_iff_add_mem, Directed.convex_iUnion, convex_singleton, ConcaveOn.convex_strict_hypograph, convex_halfSpace_re_le, convexOn_iff_forall_pos, convex_Ico, Convex.semilinear_image, Antitone.convex_lt, convex_halfSpace_im_gt, Disjoint.exists_open_convexes, ConvexBody.convex, EMetric.exists_forall_closedBall_subset_aux₂, ConvexOn.convex_epigraph, convex_halfSpace_ge, convex_list_sum, quasiconvexOn_iff_le_max, convex_openSegment, MonotoneOn.convex_lt, Antitone.convex_ge, convex_eball, StrictConcaveOn.convex_gt, Convex.is_linear_preimage, EuclideanHalfSpace.convex, concaveOn_iff_div, IsPreconnected.convex, Set.OrdConnected.convex, convex_halfSpace_im_lt, DirectedOn.convex_sUnion, Matrix.convex_colStochastic, strictConvex_iff_convex, Monotone.convex_lt, Convex.smul, AffineSubspace.convex, PointedCone.convex, Set.Subsingleton.convex, Convex.translate, Convex.closure, Convex.inter, convex_Ioo, EuclideanQuadrant.convex, Set.OrdConnected.convex_of_chain, ConvexOn.convex_lt, Convex.add, convex_convexHull, strictConcaveOn_iff_slope_strict_anti_adjacent, Convex.linear_image, ConcaveOn.convex_hypograph, Seminorm.convex_ball, convex_closedEBall, ConvexOn.convex_re_epigraph, IsExposed.convex, convex_ball, Convex.interior, convex_absConvexHull, Real.convex_iff_isPreconnected, Submodule.convex, convex_halfSpace_re_ge, convex_uIcc, convex_halfSpace_im_ge, Convex.gauge_le, convex_Icc, Convex.image_derivWithin, convex_halfSpace_re_lt, ModelWithCorners.convex_range, Convex.prod, Convex.is_linear_image, ConvexOn.convex_le, Antitone.convex_gt, exists_open_convex_of_notMem, convex_univ, convex_hyperplane, NNReal.convex_iff, StrictConvexOn.convex_lt, convex_RCLike_iff_convex_real, convex_empty, Convex.setOf_const_imp, convex_stdSimplex, convex_multiset_sum, convex_iInter₂, convex_parallelepiped, IsOpen.strictConvex_iff, QuasiconvexOn.convex, NumberField.mixedEmbedding.convexBodyLT_convex, convex_Ici, convex_setOf_holderWith, concaveOn_iff_pairwise_pos, ModelWithCorners.convex_range', convex_Iio, convex_halfSpace_gt, Convex_subadditive_le, convex_iff_div, Convex.image_deriv, AntitoneOn.convex_ge, convex_iff_pointwise_add_subset, convex_Ioc, Matrix.convex_rowStochastic, IsExtreme.convex_diff, LocallyConvexSpace.convex_open_basis_zero, convex_iff_segment_subset, concaveOn_iff_forall_pos, strictConcaveOn_iff_div, ConvexBody.convex', convex_halfSpace_le, ConvexOn.convex_strict_epigraph, convexHull_isClosed, quasilinearOn_iff_mem_uIcc, convex_doublyStochastic, convex_sum, StrictConvex.convex, LocallyConvexSpace.convex_basis, exists_convex_convex_compl_subset, convex_of_nonneg_surjective_algebraMap, convex_setOf_holderOnWith, Convex.lift, AbsConvexOpenSets.coe_convex, Convex.sub, NumberField.mixedEmbedding.convexBodySum_convex, convex_halfSpace_im_le, Monotone.convex_le, locallyConvexSpace_iff_zero, Submodule.Convex.semilinear_range, convex_vadd, convexOn_iff_div, Convex.translate_preimage_left, strictConvexOn_iff_div, concaveOn_iff_convex_hypograph, Convex.image_hasDerivWithinAt, convex_halfSpace_lt, convex_halfSpace_re_gt, convex_closed_sInter, convex_sInter, Convex.affinity, Convex.affine_preimage, Convex.convexJoin, QuasiconcaveOn.convex, Seminorm.convex_closedBall, convex_zero, convex_closedConvexHull, Convex.thickening, convex_Ioi, convex_iff_forall_pos, convexHull_eq_self, convex_closedBall, convexOn_iff_convex_epigraph, ConcaveOn.convex_gt, AntitoneOn.convex_lt, ProbabilityTheory.convex_integrableExpSet, convex_iInter, mem_convexAddSubmonoid, NumberField.mixedEmbedding.convexBodyLT'_convex, locallyConvexSpace_iff_exists_convex_subset_zero, Convex.mem_extremePoints_iff_convex_diff, convexOn_iff_pairwise_pos, convex_segment, closedConvexHull_isClosed, Monotone.convex_gt, Convex.linear_preimage, Convex.asymptoticCone, convexOn_iff_slope_mono_adjacent, locallyConvexSpace_iff_exists_convex_subset
|