OAI/MeasureTheory/Falconer/Model.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.PlanarFalconer.Plane line 8

   Also declared: ComparatorChallenges/PlanarFalconer.lean:8 (same declaration text).

2. def OAI.PlanarFalconer.distanceSet line 10

   Also declared: ComparatorChallenges/PlanarFalconer.lean:10 (same declaration text).

3. def OAI.PlanarFalconer.MainTarget line 13

   Also declared: ComparatorChallenges/PlanarFalconer.lean:13 (same declaration text).