OAI/GroupTheory/ArtinCAT0/Cap.lean

GitHub source file

49 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ArtinCAT0.GridDisk.edges_bound line 10
  2. lemma OAI.ArtinCAT0.TrianglePatch.sum_faces_boundary line 45
  3. def OAI.ArtinCAT0.TrianglePatch.Sides.boundaryEquiv line 72
  4. lemma OAI.ArtinCAT0.TrianglePatch.Sides.sum_boundary line 80
  5. lemma OAI.ArtinCAT0.TriangleMesh.region_stokes line 102
  6. def OAI.ArtinCAT0.TriangleMesh.Replacement.edgeFlux line 133
  7. lemma OAI.ArtinCAT0.TriangleMesh.Replacement.point_seam line 138
  8. lemma OAI.ArtinCAT0.TriangleMesh.Replacement.edgeFlux_mate line 146
  9. lemma OAI.ArtinCAT0.TriangleMesh.Replacement.fiber_index line 165
  10. lemma OAI.ArtinCAT0.TriangleMesh.Replacement.region_index line 183
  11. lemma OAI.ArtinCAT0.segment_dist_start line 213
  12. lemma OAI.ArtinCAT0.segment_dist_end line 218
  13. lemma OAI.ArtinCAT0.segment_radius_lower line 223
  14. def OAI.ArtinCAT0.GridDisk.rowTime line 237
  15. lemma OAI.ArtinCAT0.GridDisk.rowTime_mem line 239
  16. lemma OAI.ArtinCAT0.GridDisk.rowTime_zero line 246
  17. lemma OAI.ArtinCAT0.GridDisk.rowTime_last line 247
  18. lemma OAI.ArtinCAT0.GridDisk.rowTime_step line 251
  19. def OAI.ArtinCAT0.GridDisk.conePoint line 259
  20. def OAI.ArtinCAT0.GridDisk.coneLabel line 263
  21. lemma OAI.ArtinCAT0.GridDisk.coneLabel_outer line 268
  22. lemma OAI.ArtinCAT0.GridDisk.cone_approx line 277
  23. lemma OAI.ArtinCAT0.GridDisk.conePoint_horizontal line 288
  24. lemma OAI.ArtinCAT0.GridDisk.conePoint_radial line 297
  25. lemma OAI.ArtinCAT0.GridDisk.conePoint_center line 307
  26. lemma OAI.ArtinCAT0.GridDisk.coneLabel_radius line 313
  27. lemma OAI.ArtinCAT0.GridDisk.sideIndex_reverse line 335
  28. abbrev OAI.ArtinCAT0.GridSphere.Face line 370
  29. abbrev OAI.ArtinCAT0.GridSphere.Vertex line 371
  30. def OAI.ArtinCAT0.GridSphere.mesh line 372
  31. lemma OAI.ArtinCAT0.GridSphere.exact line 375
  32. def OAI.ArtinCAT0.GridSphere.label line 382
  33. lemma OAI.ArtinCAT0.GridSphere.label_vertex line 392
  34. lemma OAI.ArtinCAT0.GridSphere.label_tail line 396
  35. lemma OAI.ArtinCAT0.GridSphere.edges line 400
  36. lemma OAI.ArtinCAT0.GridSphere.frontier line 412
  37. lemma OAI.ArtinCAT0.GridSphere.inner_sum line 424
  38. lemma OAI.ArtinCAT0.RayIndex.det_pos_diagonal line 434
  39. lemma OAI.ArtinCAT0.RayIndex.edge_diagonal line 441
  40. lemma OAI.ArtinCAT0.RayIndex.sum_chain line 453
  41. lemma OAI.ArtinCAT0.RayIndex.edge_chain_diagonal line 460
  42. lemma OAI.ArtinCAT0.RayIndex.edge_chain_left line 466
  43. lemma OAI.ArtinCAT0.RayIndex.edge_chain_low line 470
  44. lemma OAI.ArtinCAT0.mirrorPlane_close line 479
  45. lemma OAI.ArtinCAT0.SixSector.chart_plane_first line 495
  46. lemma OAI.ArtinCAT0.SixSector.chart_plane_other line 501
  47. lemma OAI.ArtinCAT0.SixSector.chart_small line 511
  48. lemma OAI.ArtinCAT0.SixSector.circle_nonnegative line 551
  49. lemma OAI.ArtinCAT0.SixSector.circle_first_sum line 556