Theorem Finset.Iic_eq_Icc

Modification history