OAI/Combinatorics/TriangleRemoval/Tracking/RootedTemplateEdgesCard.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.rootedTemplate_edges_card_le_sq line 18
2. theorem OAI.SharpTerminalLeave.rootedCount_initial_uniform_error line 25