OAI/Combinatorics/TriangleRemoval/Asymptotics/
90 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- ActiveL2Map.lean 29 declarations
- DensityEdgeSafe.lean 6 declarations
- DensityEdgeSafeTriangle.lean 5 declarations
- DensityGlobalInfty.lean 2 declarations
- EarlyDensity.lean 8 declarations
- EarlyDensityOne.lean 3 declarations
- EndpointMarksExponential.lean 5 declarations
- FreshLog.lean 8 declarations
- FreshLogExposeLabeled.lean 2 declarations
- LogStepSandwich.lean 5 declarations
- OneAddLogRpow.lean 16 declarations
- RelativeScaleBudgetLog.lean 1 declarations