OAI/Computability/VertexCover/Analysis/RoundingError.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.GridCoupling.midpoint line 41
2. def OAI.VertexCover.GridCoupling.index line 43
3. theorem OAI.VertexCover.GridCoupling.index_measurable line 46
4. theorem OAI.VertexCover.GridCoupling.floor_lt_on_interval line 51
5. theorem OAI.VertexCover.GridCoupling.index_val_on_interval line 57
6. theorem OAI.VertexCover.GridCoupling.index_eq_iff_on_interval line 61
7. theorem OAI.VertexCover.GridCoupling.cell_subset_interval line 84
8. theorem OAI.VertexCover.GridCoupling.preimage_cell line 93
9. theorem OAI.VertexCover.GridCoupling.rounding_error line 104