OAI/Combinatorics/ThinTrees/Sparsification/Step.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Sparsification step.

  1. def OAI.AlgorithmicThinTrees.GraphicHalf.sparsify line 17
  2. theorem OAI.AlgorithmicThinTrees.GraphicHalf.sparsification_correct line 21