OAI/Combinatorics/Ramsey/CycleClique/Construction/RawRestrict.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Restrict a raw system to any sublist of its components.

  1. def OAI.CycleClique.Construction.RawPathSystem.restrictChains line 11