Def W_type.of_nat

Modification history