Theorem Finset.image₂_singleton_inter

Modification history