OAI/NumberTheory/Ostmann/Characters/TemplateOneSidedPhaseTerminalSourceScales.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Ostmann.Characters.Template.OneSidedPhase.sourceTerminalBulk line 18
2. abbrev OAI.Ostmann.Characters.Template.OneSidedPhase.sourceTerminalAnchor line 22
3. theorem OAI.Ostmann.Characters.Template.OneSidedPhase.sourceTerminalBulk_shell line 26
4. theorem OAI.Ostmann.Characters.Template.OneSidedPhase.sourceTerminalAnchor_shell line 31
5. theorem OAI.Ostmann.Characters.Template.OneSidedPhase.sourceTerminal_edge_bands line 40
6. theorem OAI.Ostmann.Characters.Template.OneSidedPhase.sourceTerminal_changed_edge_scales line 55