Theorem Set.preimage_const_mul_uIcc

Modification history