Theorem Finset.range_eq_Ico

Modification history