Sato's hyperfunction

  1. redirect hyperfunction