Theorem Set.preimage_sub_const_Ici

Modification history