Theorem Set.Finite.of_finite_image

Modification history