Theorem Set.Finite.equiv_image_eq_iff_subset

Modification history