Theorem Set.image_const_mul_uIcc

Modification history