OAI/Probability/RadialTransition/KacPressure.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RadialTransition.kernelUpperError line 10
2. def OAI.RadialTransition.kacSeries line 12
3. lemma OAI.RadialTransition.kacPartition_ge_one line 15
4. lemma OAI.RadialTransition.deletedKacPressure_upper line 24
5. lemma OAI.RadialTransition.deletedKacPressure_sector_lower line 44
6. lemma OAI.RadialTransition.kernelInterior_fraction line 72
7. lemma OAI.RadialTransition.deletedKacPressure_branch_lower line 79