OAI/MeasureTheory/Falconer/Shells/PolicyPositiveRecurrence.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The positive prefix branch on actual retained child states
- theorem
OAI.Falconer.exists_policy_positive_prefix_recurrenceline 14