OAI/Probability/SpanningForest/TransferProjection.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Problem336.TransferProjection.adjoint_rightInverse_projection line 16
  2. theorem OAI.Problem336.TransferProjection.adjoint_rightInverse_eq_complement line 30
  3. theorem OAI.Problem336.TransferProjection.map_projection_adjoint line 45
  4. theorem OAI.Problem336.TransferProjection.range_projection_adjoint line 61
  5. theorem OAI.Problem336.TransferProjection.embedded_complement_projection line 67
  6. def OAI.Problem336.TransferProjection.transferMatrix line 79
  7. theorem OAI.Problem336.TransferProjection.transferMatrix_eq_complement line 82
  8. theorem OAI.Problem336.TransferProjection.embedded_transferMatrix_eq_difference line 97
  9. theorem OAI.Problem336.TransferProjection.transferMatrix_entry_eq_inner line 107