Theorem Finset.Finset.not_mem_range_self

Modification history