Theorem Finset.image_insert

Modification history