PR #621 feat(data/complex/exponential): exp_eq_one_iff

feat(data/complex/exponential): exp_eq_one_iff #621

johoelzl merged 1 commit into leanprover-community:master from ChrisHughes24:patch-2

feat(data/complex/exponential): exp_eq_one_iff

d64d957d

johoelzl merged c0577580 into master 6 years ago

ChrisHughes24 deleted the patch-2 branch 6 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone