OAI/Probability/SpanningForest/GramDeterminantUpdate.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem336.Determinantal.transferKernel_submatrix line 16
2. theorem OAI.Problem336.Determinantal.det_gram_update_div_det line 23
3. theorem OAI.Problem336.Determinantal.det_gram_two_update_div_det line 43