Theorem Set.preimage_const_add_Ioo

Modification history