Theorem Set.mem_diagonal_iff

Modification history