Buchholz psi function

  1. redirect Buchholz psi functions

{{R to plural}}