OAI/MeasureTheory/Falconer/Estimates/EndpointSubprobability.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Endpoint small-cap gain for original subprobability direction laws

  1. theorem OAI.Falconer.endpoint_chart_subprobability_gain line 12