OAI/Geometry/SmoothYau/ProductMetric/FourColumnSmallBall.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.YauCounterexamples.four_column_smallBall line 45
2. theorem OAI.YauCounterexamples.column_scaled_det_lower line 69
3. theorem OAI.YauCounterexamples.wave_smallBall_uniform line 83