OAI/Computability/MinUncut/Games/AdaptiveKernel.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MinUncut.Composition.TripleIndex line 13
2. def OAI.MinUncut.Composition.tripleTupleEquiv line 15
3. lemma OAI.MinUncut.Composition.TripleIndex.card line 30
4. def OAI.MinUncut.Composition.adaptiveKernel line 37
5. lemma OAI.MinUncut.Composition.adaptiveKernel_abs line 41
6. lemma OAI.MinUncut.Composition.adaptiveKernel_uniform line 46
7. lemma OAI.MinUncut.Composition.adaptiveKernel_pullback line 58
8. lemma OAI.MinUncut.Composition.adaptiveKernel_pullback_mean line 65