Theorem Finset.none_mem_insertNone

Modification history