OAI/Geometry/HeilbronnTriangle/AnisotropicCount.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Problem355.Anisotropic.Triple line 18
  2. theorem OAI.Problem355.Anisotropic.thick_fiber_card_le line 20
  3. theorem OAI.Problem355.Anisotropic.thin_fiber_card_le line 42
  4. theorem OAI.Problem355.Anisotropic.scales_le_of_nonempty line 64
  5. theorem OAI.Problem355.Anisotropic.thin_shell_sum_le line 85
  6. theorem OAI.Problem355.Anisotropic.thin_normal_sum_le line 114
  7. theorem OAI.Problem355.Anisotropic.triple_card_le_of_normal_assignment line 172
  8. theorem OAI.Problem355.Anisotropic.anisotropic_count_of_planeData line 315
  9. theorem OAI.Problem355.Anisotropic.anisotropic_count line 348
  10. theorem OAI.Problem355.Anisotropic.anisotropic_constant_pos line 359