OAI/Computability/WLIdentification/CircuitPresentation.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.WLIdentification.FinitePresentation.CircuitRealizer line 10
  2. abbrev OAI.WLIdentification.FinitePresentation.CircuitRealizer.rowP line 40
  3. abbrev OAI.WLIdentification.FinitePresentation.CircuitRealizer.primaryP line 41
  4. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.primaryDim line 42
  5. abbrev OAI.WLIdentification.FinitePresentation.CircuitRealizer.broadcastP line 44
  6. abbrev OAI.WLIdentification.FinitePresentation.CircuitRealizer.selfP line 45
  7. abbrev OAI.WLIdentification.FinitePresentation.CircuitRealizer.connectionBase line 46
  8. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.connectionEquiv line 48
  9. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.connectionP line 67
  10. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.casesNumber line 69
  11. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.casesNumberFst line 79
  12. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.casesTestFst line 89
  13. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.connectionSource line 99
  14. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.connectionTarget line 107
  15. abbrev OAI.WLIdentification.FinitePresentation.CircuitRealizer.realBase line 116
  16. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.realEquiv line 117
  17. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.realP line 122
  18. abbrev OAI.WLIdentification.FinitePresentation.CircuitRealizer.comparisonBase line 124
  19. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.comparisonEquiv line 125
  20. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.comparisonP line 130
  21. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.comparisonCases line 132
  22. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.comparisonNumberFst line 140
  23. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.comparisonTestFst line 147