Def denumerable.of_nat

Modification history