Theorem Set.mem_dite_empty_left

Modification history