feat(Analysis/SpecialFunctions/Complex/Log): natural number versions of exp_eq_one_iff#38015

riccardobrasca wants to merge 4 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

riccardobrasca:rb-exp-eq-one-iff-natriccardobrasca/mathlib4:rb-exp-eq-one-iff-natCopy head branch name to clipboard