replaced image_image_eq_UN by image_eq_UN
replaced image_image_eq_UN by image_eq_UN

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle