OAI/Geometry/RCD/Harmonic/AffineSpatialSelection.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Selecting paths with small uniform affine error and small spatial cost

  1. theorem OAI.RegularPointCoordinates.affine_spatial_selection line 15