OAI/Probability/Ballisticity/Geometry/FiniteConditionalDensityTubeTransfer.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DirectionalTransience.finiteConditionalDensity_tube_transfer line 181
2. lemma OAI.DirectionalTransience.measureReal_le_add_mass_defect line 231
3. theorem OAI.DirectionalTransience.quenchedConditioned_tube_transfer_small line 238