OAI/MeasureTheory/Falconer/Geometry/CommonProjectionConfiguration.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The two bases and every graph slice are selected from the original common projection family, retaining explicit relative mass and regularity.

  1. theorem OAI.Falconer.common_projection_configuration line 12