Def bool.of_nat

Modification history