OAI/Computability/MatchingCount/CappedPower.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinaryMatching.StackCode.capDouble line 10
2. lemma OAI.BinaryMatching.StackCode.capDouble_spec line 11
3. lemma OAI.BinaryMatching.StackCode.capDouble_start line 19
4. def OAI.BinaryMatching.StackCode.cappedPow2 line 29
5. lemma OAI.BinaryMatching.StackCode.cappedPow2_eq line 30
6. lemma OAI.BinaryMatching.StackCode.cappedPow2_of_le line 32
7. theorem OAI.BinaryMatching.StackCode.Poly.capDouble_poly line 36
8. theorem OAI.BinaryMatching.StackCode.Poly.cappedPow2_poly line 37