Def myNatEquiv

Modification history