Spherical Law of Cosines/Historical Note

Historical Note on Law of Cosines for Spherical Triangles
The Law of Cosines for Spherical Triangles was first stated by in his De Triangulis Omnimodus of $1464$.