Theorem Set.mem_diagonal

Modification history