Theorem Finset.uIcc_subset_Icc

Modification history