OAI/Analysis/FreeWords/ScalarAmalgamated.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.KKAmalgamatedTransport.pairProd_nil line 14
  2. theorem OAI.KKAmalgamatedTransport.pairProd_cons line 16
  3. theorem OAI.KKAmalgamatedTransport.pairProd_append line 19
  4. def OAI.KKAmalgamatedTransport.Blocks line 23
  5. theorem OAI.KKAmalgamatedTransport.block_single line 27
  6. theorem OAI.KKAmalgamatedTransport.block_join line 30
  7. theorem OAI.KKAmalgamatedTransport.block_mem line 48
  8. theorem OAI.KKAmalgamatedTransport.block_expectation_zero line 59
  9. theorem OAI.KKAmalgamatedTransport.scalar_amalgamated_cyclic_transport line 89