Theorem RestrictedProduct.range_coe_principal

Modification history