Theorem Set.InjOn.image_biInter_eq

Modification history