OAI/NumberTheory/Ostmann/Construction/HistorySupportSplit.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Ostmann.Construction.History.giantGuard line 9
2. def OAI.Ostmann.Construction.History.rootConditions line 12
3. def OAI.Ostmann.Construction.History.nodeRelations line 16
4. theorem OAI.Ostmann.Construction.History.giantGuard_node line 26
5. theorem OAI.Ostmann.Construction.History.supported_node_iff line 46
6. def OAI.Ostmann.Construction.History.guardedWeight line 63
7. theorem OAI.Ostmann.Construction.History.supportedWeight_node line 68