Theorem IsClosed.mem_of_ge_of_forall_exists_gt

Modification history