Theorem Finset.Finset.mem_range_succ_iff

Modification history