Def computability.unary_encode_nat

Modification history