OAI/Analysis/SymmetricDomains/AffineBand.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Release061.SemialgebraicOn.reindex line 37
  2. lemma OAI.Release061.SemialgebraicOn.add line 43
  3. lemma OAI.Release061.SemialgebraicOn.mul line 50
  4. lemma OAI.Release061.SemialgebraicOn.finCons line 57
  5. def OAI.Release061.NashPatch.graph line 68
  6. def OAI.Release061.NashPatch.cylinderDomain line 92
  7. lemma OAI.Release061.NashPatch.cylinderDomain_open line 95
  8. lemma OAI.Release061.NashPatch.cylinderDomain_connected line 99
  9. lemma OAI.Release061.NashPatch.cylinderDomain_semialgebraic line 111
  10. lemma OAI.Release061.NashPatch.semialgebraic_tail line 117
  11. def OAI.Release061.NashPatch.affineBand line 124