OAI/NumberTheory/Ostmann/Characters/TemplateOneSidedTerminalSupportRemovalDefs.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Ostmann.Characters.TemplateOneSidedTerminalSupportRemoval.terminalRoots line 25
  2. def OAI.Ostmann.Characters.TemplateOneSidedTerminalSupportRemoval.terminalTrees line 28
  3. def OAI.Ostmann.Characters.TemplateOneSidedTerminalSupportRemoval.terminalPermutations line 31
  4. def OAI.Ostmann.Characters.TemplateOneSidedTerminalSupportRemoval.terminalExpressions line 35
  5. def OAI.Ostmann.Characters.TemplateOneSidedTerminalSupportRemoval.terminalGuardedPhase line 40
  6. def OAI.Ostmann.Characters.TemplateOneSidedTerminalSupportRemoval.terminalIntegerPhase line 46
  7. def OAI.Ostmann.Characters.TemplateOneSidedTerminalSupportRemoval.terminalPolynomialGate line 50
  8. def OAI.Ostmann.Characters.TemplateOneSidedTerminalSupportRemoval.terminalMultiplier line 58
  9. def OAI.Ostmann.Characters.TemplateOneSidedTerminalSupportRemoval.terminalStartKernel line 67
  10. def OAI.Ostmann.Characters.TemplateOneSidedTerminalSupportRemoval.terminalEndKernel line 77
  11. def OAI.Ostmann.Characters.TemplateOneSidedTerminalSupportRemoval.terminalCoreMean line 86