Def Equiv.Perm.prodExtendRight

Modification history