mathlib3

55f49265 - fix(algebra/archimedean): switch to a more natural and general condition in exists_nat_pow_near (#3782)

fix(algebra/archimedean): switch to a more natural and general condition in exists_nat_pow_near (#3782) per discussion at https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/Starting.20to.20contribute.20to.20mathlib/near/206945824 Co-authored-by: Junyan Xu <junyanxu.math@gmail.com>