OAI/Geometry/RCD/Sobolev/PointedMetricBallTestError.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Physical inner balls and their image tests differ only on an annulus

  1. theorem OAI.RegularPointCoordinates.pointed_metric_ball_test_error line 15