diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-12-21 18:16:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-21 11:16:53 -0600 |
| commit | 0c2a43ab616c3670f3077758defcaa1f61cbe291 (patch) | |
| tree | 83cf86aa5cdd2ea0af07a980ebca0cd4af072f83 /src/prop | |
| parent | 708c5a14bca031100b05000ddae65a9828d76da0 (diff) | |
Add proof for sine shift lemmas. (#5710)
This PR adds proofs for the sine shift lemmas that add equivalent instances of the sine function where the argument is in its "main phase" between minus pi and pi.
Diffstat (limited to 'src/prop')
0 files changed, 0 insertions, 0 deletions