Theorem Finset.Icc_ssubset_Icc_right

Modification history