mathlib3
fix(data/complex/exponential): make complex.exp irreducible
#1040
Merged

fix(data/complex/exponential): make complex.exp irreducible #1040

mergify merged 1 commit into master from robertylewis-patch-1
robertylewis
robertylewis fix(data/complex/exponential): make complex.exp irreducible
d9bba272
robertylewis robertylewis requested a review 6 years ago
digama0
digama0 approved these changes on 2019-05-17
digama0 digama0 added ready-to-merge
mergify mergify merged a6c1f377 into master 6 years ago
mergify mergify deleted the robertylewis-patch-1 branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone