Theorem RestrictedProduct.isOpen_forall_mem

Modification history