Theorem Finset.image₂_curry

Modification history