OAI/Combinatorics/Crossing/NodeMoments.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Zarankiewicz.nodePolynomial line 14
2. def OAI.Zarankiewicz.derivativeAtNode line 16
3. theorem OAI.Zarankiewicz.derivativeAtNode_eq_prod line 19
4. theorem OAI.Zarankiewicz.derivativeAtNode_ne_zero line 25
5. theorem OAI.Zarankiewicz.node_polynomial_moment line 34
6. theorem OAI.Zarankiewicz.node_power_moment line 46