Theorem Finset.mem_insert

Modification history