Theorem RestrictedProduct.continuous_rng_of_principal

Modification history