OAI/RepresentationTheory/UniversalSquare/Finite/SmallContracts11_3.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

Small Contracts 11 3.

  1. def OAI.UniversalTensorSquare.smallB11_12 line 15
  2. def OAI.UniversalTensorSquare.smallT11_12 line 16
  3. def OAI.UniversalTensorSquare.smallFlag11_12 line 17
  4. lemma OAI.UniversalTensorSquare.smallCert11_12 line 18
  5. lemma OAI.UniversalTensorSquare.smallSupport11_12 line 22
  6. def OAI.UniversalTensorSquare.smallB11_13 line 31
  7. def OAI.UniversalTensorSquare.smallT11_13 line 32
  8. def OAI.UniversalTensorSquare.smallFlag11_13 line 33
  9. lemma OAI.UniversalTensorSquare.smallCert11_13 line 34
  10. lemma OAI.UniversalTensorSquare.smallSupport11_13 line 38
  11. def OAI.UniversalTensorSquare.smallB11_14 line 47
  12. def OAI.UniversalTensorSquare.smallT11_14 line 48
  13. def OAI.UniversalTensorSquare.smallFlag11_14 line 49
  14. lemma OAI.UniversalTensorSquare.smallCert11_14 line 50
  15. lemma OAI.UniversalTensorSquare.smallSupport11_14 line 54
  16. def OAI.UniversalTensorSquare.smallB11_15 line 63
  17. def OAI.UniversalTensorSquare.smallT11_15 line 64
  18. def OAI.UniversalTensorSquare.smallFlag11_15 line 65
  19. lemma OAI.UniversalTensorSquare.smallCert11_15 line 66
  20. lemma OAI.UniversalTensorSquare.smallSupport11_15 line 70