Theorem Finset.isUnit_iff_singleton_aux

Modification history