OAI/GroupTheory/SimpleOvergroups/FamilyProgram.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.CodeTable.table_zero line 16
  2. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.Families.table_zero line 31
  3. def OAI.SimpleFInftyOvergroups.ContextualEncoding.FamilyProgram.compute line 42
  4. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.FamilyProgram.compute_zero line 48
  5. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.FamilyProgram.compute_full line 54
  6. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.FamilyProgram.compute_domain line 69
  7. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.FamilyProgram.compute_eq line 80
  8. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.FamilyProgram.stable line 91
  9. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.FamilyProgram.good_zero line 98
  10. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.FamilyProgram.good_at line 110
  11. theorem OAI.SimpleFInftyOvergroups.ContextualEncoding.FamilyProgram.bootstrap line 120