Theorem Finset.le_min'

Modification history