OAI/Probability/ContinuumTransition/KacRows.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ContinuumTemperature.kacUpper line 11
2. def OAI.ContinuumTemperature.kacLower line 14
3. theorem OAI.ContinuumTemperature.kacUpper_nonneg line 17
4. theorem OAI.ContinuumTemperature.kacUpper_symm line 24
5. theorem OAI.ContinuumTemperature.kernel_pair_oscillation line 28
6. theorem OAI.ContinuumTemperature.kac_pair_bounds line 40
7. theorem OAI.ContinuumTemperature.kernel_box_integral_upper line 56
8. theorem OAI.ContinuumTemperature.kacUpper_row line 81