OAI/GroupTheory/SimpleOvergroups/SemanticTests.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. instance OAI.SourceActionMonoid.monoidWithZero line 15
  2. abbrev OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticTests.N line 33
  3. abbrev OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticTests.baseC line 34
  4. abbrev OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticTests.baseI line 35
  5. abbrev OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticTests.doubledC line 36
  6. abbrev OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticTests.I line 37
  7. abbrev OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticTests.Nā‚‚ line 38
  8. abbrev OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticTests.Symbols line 39
  9. abbrev OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticTests.evaluation line 42
  10. theorem OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticTests.evaluation_surjective line 46
  11. theorem OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticTests.full line 54
  12. theorem OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticTests.keys_eq_iff line 71
  13. theorem OAI.SimpleFInftyOvergroups.SemanticEncoding.SemanticTests.keys_eq_none line 81