OAI/Geometry/NodalSets/Elliptic/CorrugationClosedCell.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.Geometry.nonzero_integer_shift_square_wide line 11
2. lemma OAI.Yau.Geometry.corrugationPeriodicWell_wide_cell line 22
3. lemma OAI.Yau.Geometry.corrugationPeriodicWell_closed_cell_eventually line 42
4. lemma OAI.Yau.Geometry.corrugationPeriodicWell_closed_cell_jets line 52
5. lemma OAI.Yau.Geometry.corrugationPeriodicWell_boundary_plateau line 60
6. lemma OAI.Yau.Geometry.corrugationPeriodicWell_closed_derivative_bound line 77