OAI/Combinatorics/TriangleRemoval/Process/IncidentTriangleThird.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.incidentTriangle_third line 13
2. lemma OAI.SharpTerminalLeave.incidentTriangles_eq_image line 44
3. theorem OAI.SharpTerminalLeave.triangleDegree_eq_codegree line 62
4. theorem OAI.SharpTerminalLeave.step_mean_codegree line 74