OAI/MeasureTheory/FalconerCompletion/Measures/Ambient.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Measures and the conditional distance-set completion.

  1. abbrev OAI.GraphLiteralSupport.CurrentFalconer.Ambient line 17
  2. def OAI.GraphLiteralSupport.CurrentFalconer.distanceSet line 19
  3. def OAI.GraphLiteralSupport.CurrentFalconer.MainTarget line 22