Theorem Finset.inf'_singleton

Modification history