Theorem IsOpen.openEmbedding_subtype_val

Modification history