OAI/NumberTheory/Ostmann/Characters/TemplateOneSidedCanonicalGuardsLeaf.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Ostmann.Characters.TemplateOneSidedCancellation.binGuardList line 15
2. theorem OAI.Ostmann.Characters.TemplateOneSidedCancellation.binGuardList_holds line 18
3. def OAI.Ostmann.Characters.TemplateOneSidedCancellation.sourceRangeLeafGuards line 24
4. theorem OAI.Ostmann.Characters.TemplateOneSidedCancellation.sourceRangeLeafGuards_holds line 30
5. def OAI.Ostmann.Characters.TemplateOneSidedCancellation.canonicalSourceLeafGuardData line 43
6. theorem OAI.Ostmann.Characters.TemplateOneSidedCancellation.canonicalSourceLeafGuardData_zero line 48
7. theorem OAI.Ostmann.Characters.TemplateOneSidedCancellation.canonicalSourceLeafGuardData_succ line 54