OAI/Analysis/Triangular/Envelope/EnvelopeBoxes.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.AtomicTriangular.Construction.frequencyDistance line 10
  2. def OAI.AtomicTriangular.Construction.fullTailW line 11
  3. def OAI.AtomicTriangular.Construction.tailBase line 18
  4. lemma OAI.AtomicTriangular.Construction.tailBase_mod line 19
  5. lemma OAI.AtomicTriangular.Construction.tailBase_pos line 21
  6. lemma OAI.AtomicTriangular.Construction.tailBase_lt line 23
  7. def OAI.AtomicTriangular.Construction.normJetEnvelope line 26
  8. lemma OAI.AtomicTriangular.Construction.normJetEnvelope_eq line 29
  9. lemma OAI.AtomicTriangular.FiniteCertificate.ri0_mem line 36
  10. lemma OAI.AtomicTriangular.FiniteCertificate.ri1_mem line 37
  11. lemma OAI.AtomicTriangular.FiniteCertificate.ri2_mem line 38
  12. lemma OAI.AtomicTriangular.FiniteCertificate.ri18_mem line 39
  13. lemma OAI.AtomicTriangular.FiniteCertificate.ri_exp_mem line 40
  14. def OAI.AtomicTriangular.FiniteCertificate.fullTailWBox line 46
  15. lemma OAI.AtomicTriangular.FiniteCertificate.fullTailWBox_mem line 52
  16. def OAI.AtomicTriangular.FiniteCertificate.decayBox line 72
  17. lemma OAI.AtomicTriangular.FiniteCertificate.decayBox_mem line 73
  18. def OAI.AtomicTriangular.FiniteCertificate.decayExpBox line 82
  19. lemma OAI.AtomicTriangular.FiniteCertificate.decayExpBox_mem line 84
  20. def OAI.AtomicTriangular.FiniteCertificate.psiBox line 89
  21. lemma OAI.AtomicTriangular.FiniteCertificate.psiBox_mem line 91