Theorem StarSubalgebra.closedEmbedding_inclusion

Modification history