Theorem RestrictedProduct.isOpenEmbedding_inclusion_principal

Modification history