OAI/GroupTheory/SimpleOvergroups/PrefixNames.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.BinaryPrefixOperators.Arithmetic.primrec_cancel line 11
  2. theorem OAI.BinaryPrefixOperators.Arithmetic.primrec_multiplyPair line 25
  3. def OAI.BinaryPrefixOperators.Arithmetic.Lists.negate line 37
  4. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.value_negate line 39
  5. def OAI.BinaryPrefixOperators.Arithmetic.Lists.oneName line 47
  6. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.value_oneName line 49
  7. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.primrec_negate line 54
  8. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.primrec_mulTerm line 58
  9. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.primrec_product line 72
  10. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.computable_value_eq line 84
  11. def OAI.BinaryPrefixOperators.Arithmetic.Lists.coefficientKey line 97
  12. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.coefficientKey_eq_iff line 100
  13. theorem OAI.BinaryPrefixOperators.Arithmetic.Lists.computable_coefficientKey line 104