Theorem RestrictedProduct.isEmbedding_inclusion_top

Modification history