Theorem Set.Icc_eq_empty

Modification history