Commit 2022-08-10 00:22 cad35c79

View on Github →

feat(analysis/convex/cone): add convex_cone.strictly_positive and monotonicity lemmas (#15837) The monotonicity lemmas transfer poined, blunt, salient, and flat across inequalities of cones. This also renames convex_cone.positive_cone to convex_cone.positive to reduce duplication.

Estimated changes