Theorem embedding_inclusion

Modification history