OAI/Analysis/Triangular/Signs/RemainderData4.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.AtomicTriangular.FiniteCertificate.remainderData4_00 line 10
  2. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData4_00_calc line 11
  3. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData4_00_pre line 14
  4. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData4_00_mem line 17
  5. def OAI.AtomicTriangular.FiniteCertificate.remainderData4_01 line 20
  6. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData4_01_calc line 21
  7. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData4_01_pre line 24
  8. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData4_01_mem line 27
  9. def OAI.AtomicTriangular.FiniteCertificate.remainderData4_10 line 30
  10. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData4_10_calc line 31
  11. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData4_10_pre line 34
  12. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData4_10_mem line 37
  13. def OAI.AtomicTriangular.FiniteCertificate.remainderData4_11 line 40
  14. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData4_11_calc line 41
  15. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData4_11_pre line 44
  16. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData4_11_mem line 47