Theorem Finset.mem_uIcc

Modification history