Theorem Finset.min'_subset

Modification history