OAI/Combinatorics/TriangleRemoval/Asymptotics/FreshLogExposeLabeled.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SharpTerminalLeave.ExposureTree.freshLog_exposeLabeled_support line 18
2. theorem OAI.SharpTerminalLeave.ExposureTree.freshLog_checkNoneTrace_support line 37