Def WType.equivNat

Modification history