Theorem Set.ite_empty

Modification history