Theorem Finset.inf_singleton

Modification history