OAI/Geometry/TriangularCovering/CylinderFamily.lean

GitHub source file

31 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.TriangularCovering.H_pos line 12
  2. lemma OAI.TriangularCovering.H_ne_zero line 13
  3. lemma OAI.TriangularCovering.H_sq line 14
  4. def OAI.TriangularCovering.tiltV line 16

    Also declared: ComparatorChallenges/CylinderCovering.lean:116 (same declaration text).

  5. def OAI.TriangularCovering.tiltW line 17

    Also declared: ComparatorChallenges/CylinderCovering.lean:118 (same declaration text).

  6. def OAI.TriangularCovering.lowerVertices line 19

    Also declared: ComparatorChallenges/CylinderCovering.lean:120 (same declaration text).

  7. def OAI.TriangularCovering.upperVertices line 21

    Also declared: ComparatorChallenges/CylinderCovering.lean:123 (same declaration text).

  8. lemma OAI.TriangularCovering.tiltV_ne_zero line 24
  9. lemma OAI.TriangularCovering.tiltW_ne_zero line 29
  10. lemma OAI.TriangularCovering.tiltV_norm line 34
  11. lemma OAI.TriangularCovering.tiltW_norm line 40
  12. lemma OAI.TriangularCovering.lower_triple line 46
  13. lemma OAI.TriangularCovering.upper_triple line 55
  14. lemma OAI.TriangularCovering.lower_triple_ne_zero line 64
  15. lemma OAI.TriangularCovering.upper_triple_ne_zero line 72
  16. def OAI.TriangularCovering.lowerCylinder line 80
  17. def OAI.TriangularCovering.upperCylinder line 85
  18. lemma OAI.TriangularCovering.lowerCylinder_area line 90
  19. lemma OAI.TriangularCovering.upperCylinder_area line 98
  20. lemma OAI.TriangularCovering.sector_weights line 106
  21. lemma OAI.TriangularCovering.lower_triangle_mem line 124
  22. lemma OAI.TriangularCovering.upper_triangle_mem line 137
  23. lemma OAI.TriangularCovering.lowerCylinder_hit line 150
  24. lemma OAI.TriangularCovering.upperCylinder_hit line 159
  25. lemma OAI.TriangularCovering.cutoff_pos_all line 172
  26. lemma OAI.TriangularCovering.mesh_strict line 181
  27. def OAI.TriangularCovering.lowerFamily line 186
  28. def OAI.TriangularCovering.upperFamily line 191
  29. def OAI.TriangularCovering.finiteFamily line 196
  30. lemma OAI.TriangularCovering.finiteFamily_covers line 199
  31. lemma OAI.TriangularCovering.finiteFamily_total line 212