Theorem Finset.inf'_const

Modification history