Theorem openEmbedding_sigmaMk

Modification history