Theorem RestrictedProduct.topologicalSpace_eq_of_principal

Modification history