Theorem RestrictedProduct.isOpen_forall_imp_mem

Modification history