OAI/Probability/SpanningForest/CodeTransferKernel.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem336.CodeTransferKernel.edgeEquiv line 14
2. def OAI.Problem336.CodeTransferKernel.incidence line 20
3. theorem OAI.Problem336.CodeTransferKernel.incidence_eq_submatrix line 25
4. theorem OAI.Problem336.CodeTransferKernel.gram_submatrix line 35
5. theorem OAI.Problem336.CodeTransferKernel.gram_eq_codeWeightedLaplacian line 42
6. theorem OAI.Problem336.CodeTransferKernel.transferMatrix_submatrix line 51
7. theorem OAI.Problem336.CodeTransferKernel.transfer_entry_eq_projection line 60