Theorem Set.le_einfsep_of_forall_dist_le

Modification history