OAI/Probability/ContinuumTransition/LocalSupports.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ContinuumTemperature.supportOn_of_local line 11
2. lemma OAI.ContinuumTemperature.supportOn_of_ball line 33
3. lemma OAI.ContinuumTemperature.support_of_interior_min line 38