OAI/Geometry/RCD/Sobolev/PointedBallTestError.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_ball_test_error line 15