Theorem RestrictedProduct.isEmbedding_inclusion_principal

Modification history