Theorem Finset.Ici_eq_Icc

Modification history