Trigonometric functions and existence of circle ratio. (1998)

by Yuguang Yang, Yasunari Shidama
Venue:Formalized Mathematics,