OAI/Analysis/Triangular/Signs/NearSigns.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.real_function_le_of_deleted line 11
2. lemma OAI.AtomicTriangular.Construction.near_exceptional_deleted line 20
3. lemma OAI.AtomicTriangular.Construction.near_deleted line 31
4. lemma OAI.AtomicTriangular.Construction.nearCell_signs line 39
5. lemma OAI.AtomicTriangular.Construction.near_cell_cover line 47
6. lemma OAI.AtomicTriangular.Construction.near_signs line 118