OAI/MeasureTheory/Falconer/Slicing/GaussianSliceSupport.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Chart support for the retained Gaussian point and direction laws

  1. theorem OAI.Falconer.gaussian_pruned_point_bounded_coordinates line 14
  2. theorem OAI.Falconer.gaussian_pruned_direction_unit_chart line 29