OAI/Computability/DepthThree/LanguageParameterBounds.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.DepthThreeLowerBound.rpow_two_thirds_cube line 13
  2. theorem OAI.DepthThreeLowerBound.rpow_one_sixth_sixth line 18
  3. theorem OAI.DepthThreeLowerBound.hashDimension_rpow_lower line 23
  4. theorem OAI.DepthThreeLowerBound.hashDimension_rpow_lt_add_one line 30
  5. theorem OAI.DepthThreeLowerBound.hashDimension_rpow_upper line 54
  6. theorem OAI.DepthThreeLowerBound.independenceOrder_rpow_le line 61
  7. theorem OAI.DepthThreeLowerBound.rpow_lt_independenceOrder_add_two line 68
  8. theorem OAI.DepthThreeLowerBound.four_le_rpow_one_sixth line 77
  9. theorem OAI.DepthThreeLowerBound.half_rpow_le_independenceOrder line 85
  10. theorem OAI.DepthThreeLowerBound.independenceOrder_add_two_mul_hashDimension_le line 91
  11. theorem OAI.DepthThreeLowerBound.blockLen_le_five_mul line 119
  12. theorem OAI.DepthThreeLowerBound.blockLen_dataDimension_le line 125