OAI/Probability/SpanningForest/InclusionPolynomial.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem336.InclusionPolynomial.coeff_marked_power line 15
2. theorem OAI.Problem336.InclusionPolynomial.coeff_partition line 31
3. theorem OAI.Problem336.InclusionPolynomial.coeff_det_one_add_X_top line 40
4. theorem OAI.Problem336.InclusionPolynomial.inclusion_mass_eq_of_partition_identity line 48
5. theorem OAI.Problem336.InclusionPolynomial.inclusion_ratio_eq_of_partition_identity line 60
6. theorem OAI.Problem336.InclusionPolynomial.eval_zero_partition line 69
7. theorem OAI.Problem336.InclusionPolynomial.eval_det_marker line 75
8. theorem OAI.Problem336.InclusionPolynomial.inclusion_ratio_eq_of_real_marker_identity line 86