Theorem countable_image_lt_image_Ioi_within

Modification history