OAI/Computability/WLIdentification/CellularPresentation.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.WLIdentification.FinitePresentation.CellularRealizer.pointP line 12
  2. abbrev OAI.WLIdentification.FinitePresentation.CellularRealizer.tripleP line 13
  3. abbrev OAI.WLIdentification.FinitePresentation.CellularRealizer.digitP line 14
  4. abbrev OAI.WLIdentification.FinitePresentation.CellularRealizer.kindP line 15
  5. abbrev OAI.WLIdentification.FinitePresentation.CellularRealizer.edgeBase line 17
  6. def OAI.WLIdentification.FinitePresentation.CellularRealizer.edgeEquiv line 18
  7. def OAI.WLIdentification.FinitePresentation.CellularRealizer.edgeP line 21
  8. def OAI.WLIdentification.FinitePresentation.CellularRealizer.casesNumber line 23
  9. def OAI.WLIdentification.FinitePresentation.CellularRealizer.pointIndex line 37
  10. def OAI.WLIdentification.FinitePresentation.CellularRealizer.dimension line 38
  11. def OAI.WLIdentification.FinitePresentation.CellularRealizer.edgeIndex line 40
  12. def OAI.WLIdentification.FinitePresentation.CellularRealizer.source line 46
  13. def OAI.WLIdentification.FinitePresentation.CellularRealizer.target line 54
  14. def OAI.WLIdentification.FinitePresentation.CellularRealizer.port line 62
  15. def OAI.WLIdentification.FinitePresentation.CellularRealizer.edgeMap line 70