OAI/Combinatorics/HadwigerCounterexample/ReservedLabels.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.HadwigerCounterexample.StatusAnalysis.fresh_single line 15
2. abbrev OAI.HadwigerCounterexample.StatusAnalysis.Congress line 41
3. def OAI.HadwigerCounterexample.StatusAnalysis.Guild.chapter line 44
4. def OAI.HadwigerCounterexample.StatusAnalysis.Guild.excess line 45
5. theorem OAI.HadwigerCounterexample.StatusAnalysis.Guild.excess_bound line 48
6. theorem OAI.HadwigerCounterexample.StatusAnalysis.Guild.chapter_mono line 54
7. def OAI.HadwigerCounterexample.StatusAnalysis.Guild.rich line 58
8. theorem OAI.HadwigerCounterexample.StatusAnalysis.Guild.rich_covers line 63
9. theorem OAI.HadwigerCounterexample.StatusAnalysis.Guild.stable line 71