OAI/GroupTheory/FiniteType/DuffyTriangle.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.DuffyTriangle.cone_face line 26
  2. def OAI.DuffyTriangle.edge line 38
  3. def OAI.DuffyTriangle.triangle line 48
  4. def OAI.DuffyTriangle.lastFace line 58
  5. lemma OAI.DuffyTriangle.lastFace_val line 62
  6. lemma OAI.DuffyTriangle.triangle_face line 66
  7. lemma OAI.DuffyTriangle.edge_cube line 74
  8. def OAI.DuffyTriangle.DoubleBoundary line 86
  9. lemma OAI.DuffyTriangle.doubleBoundary_cone line 88
  10. lemma OAI.DuffyTriangle.doubleBoundary_cone_one line 93
  11. lemma OAI.DuffyTriangle.triangle_boundary line 106
  12. def OAI.DuffyTriangle.looped line 136
  13. lemma OAI.DuffyTriangle.looped_apply line 144
  14. lemma OAI.TrianglePath.duffy_one_zero line 155
  15. lemma OAI.TrianglePath.duffy_one_one line 161
  16. lemma OAI.TrianglePath.face_vertex line 167
  17. def OAI.TrianglePath.edgePath line 171
  18. lemma OAI.TrianglePath.edgePath_add line 180
  19. def OAI.TrianglePath.mappedEdge line 189
  20. lemma OAI.TrianglePath.mappedEdge_add line 196
  21. lemma OAI.DuffyTriangle.triangle_doubleBoundary line 220
  22. lemma OAI.DuffyTriangle.vertex_doubleBoundary line 225
  23. lemma OAI.DuffyTriangle.looped_vertex line 234