Theorem Set.LeftInvOn.image_inter

Modification history