not_well_ord_iso_pred: removed needless quantifier
not_well_ord_iso_pred: removed needless quantifier

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