OAI/Combinatorics/TriangleRemoval/Spectral/FallingFactorialNormalizedProduct.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.fallingFactorial_normalized_product line 17
2. theorem OAI.SharpTerminalLeave.fallingFactorial_normalized_error line 30
3. theorem OAI.SharpTerminalLeave.initialDensity_power_error line 64
4. theorem OAI.SharpTerminalLeave.initialRootedScaling_error line 80