Theorem Set.preimage_const_add_Ici

Modification history