Theorem Finset.Icc_eq_image_powerset

Modification history