OAI/Probability/LatticeSurface/Moments/OrderedGradients.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExtremalEdges.gradientConstant_pos line 63
2. theorem OAI.ExtremalEdges.controlled_gradients_ordered line 67
3. theorem OAI.ExtremalEdges.near_zero_gradients_ordered line 153