OAI/GroupTheory/SimpleOvergroups/FamilyTables.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SimpleFInftyOvergroups.ContextualEncoding.DelimiterCode.alphabet line 14
  2. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.DelimiterCode.mem_alphabet_of_mem_encode line 17
  3. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.DelimiterCode.avoids_of_not_mem_alphabet line 26
  4. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.DelimiterCode.disjoint_infix line 30
  5. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.DelimiterCode.disjoint_overlap line 38
  6. def OAI.SimpleFInftyOvergroups.ContextualEncoding.Families.table line 53
  7. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.Families.mem_table line 57
  8. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.Families.absorbs line 62
  9. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.Families.preserves_zero line 70
  10. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.Families.critical line 80
  11. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.Families.decreasing line 138
  12. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.Families.stable line 146
  13. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.Families.good_at line 152