Theorem Set.mem_dite_empty_right

Modification history