Def Equiv.prodPEmpty

Modification history