OAI/Probability/SpanningForest/BorelFiniteChoice.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem336.BorelFiniteChoice.exists_measurable_selector line 11
2. theorem OAI.Problem336.BorelFiniteChoice.exists_measurable_partial_selector line 25
3. lemma OAI.Problem336.BorelFiniteChoice.measurableSet_adj line 45
4. lemma OAI.Problem336.BorelFiniteChoice.measurableSet_finiteConnected line 50
5. theorem OAI.Problem336.BorelFiniteChoice.exists_measurable_connected_extension line 58