OAI/Probability/SpanningForest/PolynomialGramUpdate.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem336.Determinantal.map_nonsing_inv_of_isUnit line 13
2. theorem OAI.Problem336.Determinantal.det_polynomial_rank_update line 20
3. theorem OAI.Problem336.Determinantal.det_polynomial_gram_update line 37
4. theorem OAI.Problem336.Determinantal.det_polynomial_weighted_columns line 48