theorem :: ACKERMAN:32

dom2tuple AckermannFunction in HFuncs NAT