Theorem uniformEmbedding_subtypeEmb

Modification history