Theorem Function.Injective.mem_finset_image

Modification history