OAI/NumberTheory/Ostmann/Construction/Template.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.Ostmann.Construction.SourceSlot line 8
2. def OAI.Ostmann.Construction.Template.initialRoles line 15
3. def OAI.Ostmann.Construction.Template.initial line 19
4. def OAI.Ostmann.Construction.Template.remainder line 22
5. def OAI.Ostmann.Construction.Template.current line 25
6. def OAI.Ostmann.Construction.Template.countRole line 29
7. theorem OAI.Ostmann.Construction.Template.countRole_append line 32
8. theorem OAI.Ostmann.Construction.Template.countRole_remainder line 36
9. theorem OAI.Ostmann.Construction.Template.countRole_current line 47
10. theorem OAI.Ostmann.Construction.Template.current_types_gt line 59
11. def OAI.Ostmann.Construction.Template.sample line 74
12. theorem OAI.Ostmann.Construction.Template.sample_length line 77