OAI/Geometry/RCD/Transport/ReducedChordMeshLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Fatou's lemma for both exact endpoint distortion weights

  1. theorem OAI.RegularPointCoordinates.reduced_chord_mesh_limit line 14