Def computability.decode_nat

Modification history