corrected the lemmas min_nat_eqvt and min_int_eqvt
corrected the lemmas min_nat_eqvt and min_int_eqvt

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