OAI/NumberTheory/Ostmann/Characters/TemplateWords.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Ostmann.Characters.Template.WordSlot line 9
  2. def OAI.Ostmann.Characters.Template.wordAssignmentSplit line 12
  3. def OAI.Ostmann.Characters.Template.wordTreeEquiv line 27
  4. def OAI.Ostmann.Characters.Template.wordLeaves line 40
  5. theorem OAI.Ostmann.Characters.Template.wordLeaves_left line 43
  6. theorem OAI.Ostmann.Characters.Template.wordLeaves_right line 51
  7. def OAI.Ostmann.Characters.Template.flattenLeaves line 59
  8. def OAI.Ostmann.Characters.Template.originalWord line 63
  9. theorem OAI.Ostmann.Characters.Template.leafStates_words line 65