Theorem RestrictedProduct.isEmbedding_coe_of_principal

Modification history