Theorem Finset.image₂_insert_right

Modification history