OAI/Combinatorics/IndependentSets/Geometry/GeometryOutput.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.LargeIndependentSets.GeometryNames.output line 18
  2. def OAI.LargeIndependentSets.GeometryNames.outputRenaming line 22
  3. def OAI.LargeIndependentSets.GeometryNames.locationDistanceExpr line 25
  4. lemma OAI.LargeIndependentSets.GeometryNames.locationDistanceExpr_eval line 27
  5. def OAI.LargeIndependentSets.GeometryNames.outputCountExpr line 35
  6. lemma OAI.LargeIndependentSets.GeometryNames.outputCountExpr_eval line 38
  7. def OAI.LargeIndependentSets.GeometryNames.adjacencyExpr line 45
  8. lemma OAI.LargeIndependentSets.GeometryNames.equal_adj line 50
  9. lemma OAI.LargeIndependentSets.GeometryNames.clique_adj line 55
  10. lemma OAI.LargeIndependentSets.GeometryNames.adjacencyExpr_eval line 60
  11. def OAI.LargeIndependentSets.GeometryNames.flatAdjacencyExpr line 102
  12. lemma OAI.LargeIndependentSets.GeometryNames.flatAdjacencyExpr_eval line 106
  13. def OAI.LargeIndependentSets.GeometryNames.graphSerializer line 114
  14. lemma OAI.LargeIndependentSets.GeometryNames.graphSerializer_finiteAlphabet line 119
  15. def OAI.LargeIndependentSets.GeometryNames.distanceView line 122
  16. def OAI.LargeIndependentSets.GeometryNames.graphComputer line 130
  17. lemma OAI.LargeIndependentSets.GeometryNames.graphComputer_finiteAlphabet line 133