Theorem Finset.isUnit_singleton

Modification history