OAI/MeasureTheory/Falconer/Graphs/PolicyGraphAtRecurrence.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The weighted graph recurrence at either policy geometry
- theorem
OAI.Falconer.exists_policy_graph_recurrence_atline 12