OAI/NumberTheory/Ostmann/Characters/TemplateConstituents.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Ostmann.Characters.Template.Layout.Constituent line 9
  2. def OAI.Ostmann.Characters.Template.intraGraph line 12
  3. def OAI.Ostmann.Characters.Template.liftGraph line 18
  4. def OAI.Ostmann.Characters.Template.constituentGraph line 22
  5. theorem OAI.Ostmann.Characters.Template.constituentGraph_zero line 25
  6. theorem OAI.Ostmann.Characters.Template.intraGraph_regular line 32
  7. theorem OAI.Ostmann.Characters.Template.constituentGraph_regular line 42
  8. theorem OAI.Ostmann.Characters.Template.liftGraph_pivot_column line 53
  9. abbrev OAI.Ostmann.Characters.Template.CopiedConstituent line 61
  10. abbrev OAI.Ostmann.Characters.Template.OutsideConstituent line 64
  11. def OAI.Ostmann.Characters.Template.nextConstituentEquiv line 67
  12. def OAI.Ostmann.Characters.Template.copiedConstituentOld line 82
  13. def OAI.Ostmann.Characters.Template.outsideConstituentOld line 84
  14. def OAI.Ostmann.Characters.Template.collapsedConstituentGraph line 87