Theorem Equiv.embeddingFinSucc_snd

Modification history