Theorem Set.finite_image_fst_and_snd_iff

Modification history