Def Equiv.sumEmbeddingEquivSigmaEmbeddingRestricted

Modification history