Theorem Finset.isUnit_iff_singleton

Modification history