OAI/Combinatorics/ThinTrees/Continuation/ConcaveAlternative.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Concave alternative.

  1. theorem OAI.AlgorithmicThinTrees.ConvexAlternative.compact_concave_alternative line 18