Theorem RestrictedProduct.isOpen_forall_mem_of_principal

Modification history