(related to Proposition: Special Values for Real Sine, Real Cosine and Complex Exponential Function)
(no contents provided yet)
Thank you to the contributors under CC BY-SA 4.0!