Theorem Finset.coe_notMemRangeEquiv

Modification history