OAI/Analysis/Triangular/Envelope/EnvelopeWaves.lean

GitHub source file

30 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.AtomicTriangular.FiniteCertificate.lambdaNorm0 line 9
  2. lemma OAI.AtomicTriangular.FiniteCertificate.lambdaNorm0_check line 10
  3. lemma OAI.AtomicTriangular.FiniteCertificate.lambdaNorm0_mem line 13
  4. def OAI.AtomicTriangular.FiniteCertificate.envelopePhase00 line 16
  5. lemma OAI.AtomicTriangular.FiniteCertificate.envelopePhase00_calc line 47
  6. lemma OAI.AtomicTriangular.FiniteCertificate.envelopePhase00_mem line 50
  7. def OAI.AtomicTriangular.FiniteCertificate.phaseNorm00 line 53
  8. lemma OAI.AtomicTriangular.FiniteCertificate.phaseNorm00_check line 54
  9. lemma OAI.AtomicTriangular.FiniteCertificate.phaseNorm00_mem line 57
  10. def OAI.AtomicTriangular.FiniteCertificate.envelopePhase01 line 60
  11. lemma OAI.AtomicTriangular.FiniteCertificate.envelopePhase01_calc line 91
  12. lemma OAI.AtomicTriangular.FiniteCertificate.envelopePhase01_mem line 94
  13. def OAI.AtomicTriangular.FiniteCertificate.phaseNorm01 line 97
  14. lemma OAI.AtomicTriangular.FiniteCertificate.phaseNorm01_check line 98
  15. lemma OAI.AtomicTriangular.FiniteCertificate.phaseNorm01_mem line 101
  16. def OAI.AtomicTriangular.FiniteCertificate.lambdaNorm1 line 104
  17. lemma OAI.AtomicTriangular.FiniteCertificate.lambdaNorm1_check line 105
  18. lemma OAI.AtomicTriangular.FiniteCertificate.lambdaNorm1_mem line 108
  19. def OAI.AtomicTriangular.FiniteCertificate.envelopePhase10 line 111
  20. lemma OAI.AtomicTriangular.FiniteCertificate.envelopePhase10_calc line 142
  21. lemma OAI.AtomicTriangular.FiniteCertificate.envelopePhase10_mem line 145
  22. def OAI.AtomicTriangular.FiniteCertificate.phaseNorm10 line 148
  23. lemma OAI.AtomicTriangular.FiniteCertificate.phaseNorm10_check line 149
  24. lemma OAI.AtomicTriangular.FiniteCertificate.phaseNorm10_mem line 152
  25. def OAI.AtomicTriangular.FiniteCertificate.envelopePhase11 line 155
  26. lemma OAI.AtomicTriangular.FiniteCertificate.envelopePhase11_calc line 186
  27. lemma OAI.AtomicTriangular.FiniteCertificate.envelopePhase11_mem line 189
  28. def OAI.AtomicTriangular.FiniteCertificate.phaseNorm11 line 192
  29. lemma OAI.AtomicTriangular.FiniteCertificate.phaseNorm11_check line 193
  30. lemma OAI.AtomicTriangular.FiniteCertificate.phaseNorm11_mem line 196