Theorem Finset.mem_one

Modification history