Theorem Finset.min'_le

Modification history