Theorem Set.mem_inter

Modification history