Spherical Law of Cosines/Historical Note

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