OAI/Geometry/Cannon/Modulus/Quad.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.CannonGeneralizedDisk.Quad line 11
  2. def OAI.CannonGeneralizedDisk.Quad.value line 16
  3. def OAI.CannonGeneralizedDisk.Quad.discr line 19
  4. def OAI.CannonGeneralizedDisk.Quad.region line 21
  5. lemma OAI.CannonGeneralizedDisk.Quad.mem_region_coe line 24
  6. lemma OAI.CannonGeneralizedDisk.Quad.mem_region_infty line 26
  7. lemma OAI.CannonGeneralizedDisk.Quad.value_inner line 29
  8. def OAI.CannonGeneralizedDisk.Quad.affine line 33
  9. def OAI.CannonGeneralizedDisk.Quad.inv line 37
  10. lemma OAI.CannonGeneralizedDisk.Quad.affine_value line 39
  11. lemma OAI.CannonGeneralizedDisk.Quad.affine_discr line 46
  12. lemma OAI.CannonGeneralizedDisk.Quad.inv_discr line 53
  13. lemma OAI.CannonGeneralizedDisk.Quad.inv_value line 57
  14. lemma OAI.CannonGeneralizedDisk.Quad.affine_mem_iff line 67
  15. lemma OAI.CannonGeneralizedDisk.Quad.inv_mem_iff line 74
  16. def OAI.CannonGeneralizedDisk.disk line 78
  17. lemma OAI.CannonGeneralizedDisk.disk_value line 80
  18. lemma OAI.CannonGeneralizedDisk.disk_discr line 87
  19. lemma OAI.CannonGeneralizedDisk.disk_region line 90