Def Equiv.prodEquivOfEquivNat

Modification history