OAI/Analysis/Triangular/Signs/RemainderData1.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.AtomicTriangular.FiniteCertificate.remainderData1_00 line 10
  2. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData1_00_calc line 11
  3. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData1_00_pre line 14
  4. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData1_00_mem line 17
  5. def OAI.AtomicTriangular.FiniteCertificate.remainderData1_01 line 20
  6. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData1_01_calc line 21
  7. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData1_01_pre line 24
  8. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData1_01_mem line 27
  9. def OAI.AtomicTriangular.FiniteCertificate.remainderData1_10 line 30
  10. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData1_10_calc line 31
  11. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData1_10_pre line 34
  12. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData1_10_mem line 37
  13. def OAI.AtomicTriangular.FiniteCertificate.remainderData1_11 line 40
  14. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData1_11_calc line 41
  15. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData1_11_pre line 44
  16. lemma OAI.AtomicTriangular.FiniteCertificate.remainderData1_11_mem line 47