OAI/Probability/SKSupport/Backward/BackwardComparison.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ZeroTemperatureSK.Heat.bounded_linear_nonpositive line 13
2. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.second_odd line 57
3. theorem OAI.ZeroTemperatureSK.Heat.SmoothBurgers.second_nonpos line 63
4. theorem OAI.ZeroTemperatureSK.Heat.SmoothBurgers.rate_nonpos line 82
5. lemma OAI.ZeroTemperatureSK.Heat.SmoothBurgers.pos_halfLine line 112
6. theorem OAI.ZeroTemperatureSK.Heat.SmoothBurgers.wronskian_nonneg line 124