Theorem Set.image_const_add_uIcc

Modification history