Theorem embedding_sigmaMk

Modification history