Theorem RestrictedProduct.continuous_rng_of_principal_iff_forall

Modification history