OAI/GroupTheory/SimpleOvergroups/EffectiveActions.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.compare line 19
  2. def OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.step line 22
  3. def OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.run line 26
  4. def OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.key line 30
  5. def OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.test line 36
  6. theorem OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.compare_full line 40
  7. theorem OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.step_full line 45
  8. theorem OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.run_full line 69
  9. theorem OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.key_full line 83
  10. theorem OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.test_full line 108
  11. theorem OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.partrec_compare line 122
  12. theorem OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.partrec_step line 133
  13. theorem OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.run_eq_fold line 152
  14. theorem OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.partrec_run line 159
  15. theorem OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.partrec_key line 165
  16. theorem OAI.SimpleFInftyOvergroups.BoundedEncoding.NamedAction.Operations.partrec_test line 194