OAI/NumberTheory/Ostmann/Characters/TemplateOneSidedSupportSurvivingBudgetDivisors.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Ostmann.Characters.TemplateOneSidedSupportSurviving.expressionProduct_divisorsBelow line 16
2. theorem OAI.Ostmann.Characters.TemplateOneSidedSupportSurviving.finiteProductExpression_divisorsBelow line 24
3. theorem OAI.Ostmann.Characters.TemplateOneSidedSupportSurviving.groupedExpressions_divisorsBelow line 32
4. theorem OAI.Ostmann.Characters.TemplateOneSidedSupportSurviving.pivotExpression_divisorsBelow line 50
5. theorem OAI.Ostmann.Characters.TemplateOneSidedSupportSurviving.recursiveExpressions_divisorsBelow line 57
6. theorem OAI.Ostmann.Characters.TemplateOneSidedSupportSurviving.obstructionExpressions_divisorsBelow line 93