Theorem Set.InjOn.preimage_image_inter

Modification history