Theorem Set.preimage_mul_const_uIcc

Modification history