Theorem Set.preimage_sub_const_Iic

Modification history