Theorem Set.preimage_const_sub_Ioo

Modification history