Theorem Set.InjOn.image_inter

Modification history