Theorem Set.image_id_eq

Modification history