Theorem Set.preimage_const_mul_Icc

Modification history