[spec] corrections in double angle formulas
[notes.git] / spec / sequences.html
2018-06-16 consolidate notes