OAI/Probability/SKSupport/Parabolic/ForwardSigns.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ZeroTemperatureSK.Heat.SmoothForward.deriv_ge_inverse line 15
2. theorem OAI.ZeroTemperatureSK.Heat.SmoothForward.second_nonpos line 52
3. structure OAI.ZeroTemperatureSK.Heat.ForwardDatumShape line 94
4. lemma OAI.ZeroTemperatureSK.Heat.forwardCorrection_shape line 99
5. lemma OAI.ZeroTemperatureSK.Heat.ForwardDatumShape.const line 121
6. lemma OAI.ZeroTemperatureSK.Heat.ForwardDatumShape.jump line 124