exponential): improve trig proofs
#1041

Merged

refactor(data/complex/exponential): improve trig proofs #1041

mergify merged 5 commits into master from refactor-trig

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

d9bba272

refactor(data/complex/exponential): improve trig proofs

8e6924f2

digama0 requested a review 6 years ago

fix build

035ff146

ChrisHughes24 commented on 2019-05-17

fix(algebra/group): prove lemma for comm_semigroup instead of comm_mo…

bbca78a8

ChrisHughes24 approved these changes on 2019-05-18

ChrisHughes24 added ready-to-merge

Merge branch 'master' into 'refactor-trig'

45caa9d9

mergify merged fa0e7570 into master 6 years ago

mergify deleted the refactor-trig branch 6 years ago

Reviewers

ChrisHughes24

rwbarton

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone