Def Equiv.Set.prod_singleton_right

Modification history