OAI/Combinatorics/TriangleRemoval/Spectral/ClosedWalkPattern.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.SharpTerminalLeave.canonical_cycle_spanning line 21
  2. def OAI.SharpTerminalLeave.closedWalkPattern line 36
  3. def OAI.SharpTerminalLeave.PatternProper line 39
  4. def OAI.SharpTerminalLeave.patternHom line 42
  5. lemma OAI.SharpTerminalLeave.patternHom_apply line 46
  6. lemma OAI.SharpTerminalLeave.pattern_preconnected line 49
  7. theorem OAI.SharpTerminalLeave.pattern_spanning_walk line 53
  8. theorem OAI.SharpTerminalLeave.noninjective_pattern_count line 73