Theorem RestrictedProduct.isEmbedding_coe_of_bot

Modification history