OAI/Combinatorics/UniformKServer/WrapperPrefix.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.UniformKServer.TypedStack.retape line 11
  2. def OAI.UniformKServer.TypedStack.SlowLink line 13
  3. structure OAI.UniformKServer.TypedStack.Prefix line 16
  4. def OAI.UniformKServer.TypedStack.Prefix.append line 22
  5. theorem OAI.UniformKServer.TypedStack.SlowLink.run line 50
  6. theorem OAI.UniformKServer.TypedStack.install_retape line 59
  7. def OAI.UniformKServer.UniformWrapper.constructor_prefix line 71
  8. theorem OAI.UniformKServer.UniformWrapper.pad_digit line 83
  9. theorem OAI.UniformKServer.UniformWrapper.pad_sep line 95
  10. def OAI.UniformKServer.UniformWrapper.padding_prefix line 106