Theorem Set.mem_dite

Modification history