Theorem Set.preimage_const_add_Ioi

Modification history