Spherical Law of Cosines/Historical Note

Historical Note on Spherical Law of Cosines

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