Def W_type.equiv_nat

Modification history