Theorem Finset.mem_singleton_self

Modification history