Theorem openEmbedding_inl

Modification history