Theorem Finset.image₂_empty_right

Modification history