Theorem Set.ite_empty_left

Modification history