Theorem Finset.image₂_singleton

Modification history