AserrarY. and ElqorachiE., “Cosine and sine addition and subtraction law with an automorphism”, AMSil, Nov. 2023.