OAI/GroupTheory/SimpleOvergroups/SemanticActionMonoid.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticActionMonoid.groupValue line 17
2. abbrev OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticActionMonoid.pointValue line 18
3. def OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticActionMonoid.letter line 20
4. def OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticActionMonoid.wordMap line 26
5. def OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticActionMonoid.formValue line 30
6. theorem OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticActionMonoid.formKey_injective line 33
7. theorem OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticActionMonoid.formKey_comp line 44
8. theorem OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticActionMonoid.formValue_step line 53
9. theorem OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticActionMonoid.formValue_normalize line 86
10. theorem OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticActionMonoid.wordMap_ofList line 98
11. theorem OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticActionMonoid.totalTest_eq_iff line 105
12. theorem OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticActionMonoid.wordMap_surjective line 115