Spherical Law of Cosines/Historical Note

Historical Note on Spherical Law of Cosines
The Spherical Law of Cosines was first stated by in his  of $1464$.