OAI/Analysis/Triangular/Envelope/EnvelopeNorm2.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.AtomicTriangular.FiniteCertificate.columnNorm16 line 9
  2. lemma OAI.AtomicTriangular.FiniteCertificate.columnNorm16_check line 10
  3. lemma OAI.AtomicTriangular.FiniteCertificate.columnNorm16_mem line 13
  4. def OAI.AtomicTriangular.FiniteCertificate.columnNorm17 line 16
  5. lemma OAI.AtomicTriangular.FiniteCertificate.columnNorm17_check line 17
  6. lemma OAI.AtomicTriangular.FiniteCertificate.columnNorm17_mem line 20
  7. def OAI.AtomicTriangular.FiniteCertificate.columnNorm18 line 23
  8. lemma OAI.AtomicTriangular.FiniteCertificate.columnNorm18_check line 24
  9. lemma OAI.AtomicTriangular.FiniteCertificate.columnNorm18_mem line 27
  10. def OAI.AtomicTriangular.FiniteCertificate.columnNorm19 line 30
  11. lemma OAI.AtomicTriangular.FiniteCertificate.columnNorm19_check line 31
  12. lemma OAI.AtomicTriangular.FiniteCertificate.columnNorm19_mem line 34
  13. def OAI.AtomicTriangular.FiniteCertificate.columnNorm20 line 37
  14. lemma OAI.AtomicTriangular.FiniteCertificate.columnNorm20_check line 38
  15. lemma OAI.AtomicTriangular.FiniteCertificate.columnNorm20_mem line 41
  16. def OAI.AtomicTriangular.FiniteCertificate.columnNorm21 line 44
  17. lemma OAI.AtomicTriangular.FiniteCertificate.columnNorm21_check line 45
  18. lemma OAI.AtomicTriangular.FiniteCertificate.columnNorm21_mem line 48
  19. def OAI.AtomicTriangular.FiniteCertificate.columnNorm22 line 51
  20. lemma OAI.AtomicTriangular.FiniteCertificate.columnNorm22_check line 52
  21. lemma OAI.AtomicTriangular.FiniteCertificate.columnNorm22_mem line 55