OAI/Probability/RadialTransition/CanonicalCorner.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RadialTransition.canonical_support_supergradient line 12
2. theorem OAI.RadialTransition.concave_oneSided_derivatives line 38
3. theorem OAI.RadialTransition.supergradient_oneSided_bounds line 47
4. theorem OAI.RadialTransition.not_differentiable_of_oneSided_gap line 68
5. theorem OAI.RadialTransition.canonical_corner_of_pressure_supports line 78