Theorem RestrictedProduct.isEmbedding_coe_of_top

Modification history