OAI/Geometry/CylinderCovering/Angular/TableCover.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CylinderCovering.AngularTableCover.data_count line 17
2. lemma OAI.CylinderCovering.AngularTableCover.conclusion_mono line 20
3. lemma OAI.CylinderCovering.AngularTableCover.row_of_conclusion line 26
4. lemma OAI.CylinderCovering.AngularTableCover.table_admissible line 69
5. lemma OAI.CylinderCovering.AngularTableCover.uniform_rows line 96
6. lemma OAI.CylinderCovering.AngularTableCover.integer_row line 114
7. lemma OAI.CylinderCovering.AngularTableCover.real_row line 139
8. theorem OAI.CylinderCovering.AngularTableCover.table_covers line 153