OAI/Computability/MinUncut/Estimates/LiteralLocalTemplates.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Outer.LocalTemplate.indexQuery line 12
2. lemma OAI.MinUncut.Outer.LocalTemplate.occurrence_query line 16
3. lemma OAI.MinUncut.Outer.LocalTemplate.occurrence_demand line 24
4. lemma OAI.MinUncut.Costed.drop_head_append line 34
5. lemma OAI.MinUncut.Costed.eval_pow_congr line 39
6. lemma OAI.MinUncut.Costed.SourceWords.tuple_reg_append line 48
7. lemma OAI.MinUncut.Costed.SourceWords.tupleDigit_append line 54
8. lemma OAI.MinUncut.Costed.SourceWords.slotExpr_append line 59
9. lemma OAI.MinUncut.Costed.SourceWords.equationExpr_append line 67
10. lemma OAI.MinUncut.Costed.SourceWords.firstExpr_append line 73
11. lemma OAI.MinUncut.Costed.SourceWords.secondExpr_append line 78
12. lemma OAI.MinUncut.Costed.SourceWords.signatureExpr_append line 87
13. lemma OAI.MinUncut.Costed.SourceWords.signatureLookup_append line 92
14. lemma OAI.MinUncut.Costed.SourceWords.secondAddress_append line 96
15. lemma OAI.MinUncut.Costed.SourceWords.queryWords_append line 100