Theorem Set.mem_ite_empty_right

Modification history