OAI/GroupTheory/SimpleOvergroups/PrefixEffective.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.prim_add line 10
2. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.primrec_coefficient line 14
3. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.primrec_isZero line 25
4. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.primrec_suffixes line 35
5. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.primrec_expandTerm line 51
6. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.primrec_depth line 61
7. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.primrec_spread line 75
8. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.primrec_zeroTest line 83
9. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.computable_zero line 86