OAI/Probability/RadialTransition/FamilyControls.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RadialTransition.AdmissibleFamily line 10
2. lemma OAI.RadialTransition.admissible_row line 13
3. lemma OAI.RadialTransition.admissible_pressure_convex line 19
4. lemma OAI.RadialTransition.family_controls line 30