Theorem Set.preimage_const_add_Ico

Modification history