OAI/Geometry/NodalSets/Elliptic/AnchoredCubeBound.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.Analysis.InUnitCube line 12
2. lemma OAI.Yau.Analysis.inUnitCube_update line 15
3. def OAI.Yau.Analysis.cubeControl line 22
4. lemma OAI.Yau.Analysis.enorm_le_cubeControl line 28
5. lemma OAI.Yau.Analysis.cubeControl_congr_base line 55
6. lemma OAI.Yau.Analysis.enorm_le_cubeControl_zero line 75