OAI/Analysis/Triangular/Taylor/TaylorWave101.lean

GitHub source file

44 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_0 line 9
  2. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_0_calc line 40
  3. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_1 line 43
  4. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_1_calc line 74
  5. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_2 line 77
  6. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_2_calc line 108
  7. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_3 line 111
  8. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_3_calc line 142
  9. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_4 line 145
  10. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_4_calc line 176
  11. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_5 line 179
  12. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_5_calc line 210
  13. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_6 line 213
  14. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_6_calc line 244
  15. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_7 line 247
  16. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_7_calc line 278
  17. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_8 line 281
  18. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_8_calc line 312
  19. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_9 line 315
  20. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_9_calc line 346
  21. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_10 line 349
  22. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_10_calc line 380
  23. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_11 line 383
  24. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_11_calc line 414
  25. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_12 line 417
  26. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_12_calc line 448
  27. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_13 line 451
  28. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_13_calc line 482
  29. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_14 line 485
  30. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_14_calc line 516
  31. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_15 line 519
  32. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_15_calc line 550
  33. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_16 line 553
  34. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_16_calc line 584
  35. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_17 line 587
  36. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_17_calc line 618
  37. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_18 line 621
  38. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_18_calc line 652
  39. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_19 line 655
  40. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_19_calc line 686
  41. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_20 line 689
  42. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_20_calc line 720
  43. def OAI.AtomicTriangular.FiniteCertificate.tw1_0_1 line 723
  44. lemma OAI.AtomicTriangular.FiniteCertificate.tw1_0_1_mem line 724