Theorem RestrictedProduct.range_coe

Modification history