Def Equiv.embeddingFinSucc

Modification history