Theorem Set.preimage_mul_const_Icc

Modification history