Theorem Embedding.mk'

Modification history