OAI/Probability/LatticeSurface/Convexity/FacetQuantile.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SliceTransport.velocity line 14
2. lemma OAI.SliceTransport.velocity_pos line 17
3. lemma OAI.SliceTransport.continuousOn_velocity line 22
4. lemma OAI.SliceTransport.IntervalDensity.intervalIntegrable_left line 29
5. lemma OAI.SliceTransport.density_le_left_of_le_top line 35
6. lemma OAI.SliceTransport.velocity_le_div_probability line 43