Theorem Finset.singleton_injective

Modification history