OAI/Computability/VertexCover/Analysis/LawNegInvariant.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VertexCover.GridCoupling.intervalLaw_eq_Ico line 43
2. theorem OAI.VertexCover.GridCoupling.index_atom line 48
3. theorem OAI.VertexCover.GridCoupling.index_measurePreserving line 63
4. theorem OAI.VertexCover.GridCoupling.rounding_error_ae line 71
5. instance OAI.VertexCover.Cube.intervalLaw_negInvariant line 85
6. instance OAI.VertexCover.Cube.law_negInvariant line 94