OAI/Probability/RadialTransition/FamilyIdeal.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RadialTransition.family_pressure_data line 10
2. lemma OAI.RadialTransition.family_ideal_exists_active line 38
3. lemma OAI.RadialTransition.family_active_bound line 50
4. lemma OAI.RadialTransition.ideal_bddAbove_of_active line 62
5. lemma OAI.RadialTransition.ideal_nonneg_of_active line 66