Theorem Finset.image_id

Modification history