Def subsingletonProdSelfEquiv

Modification history