chore: add Rinehart 1963 to references.bib (leanprover-community#34418)

Author: Ruben-VandeVelde

Mathlib/Algebra/LieRinehartAlgebra/Defs.lean

@@ -18,8 +18,8 @@ terms of the Chevalley-Eilenberg algebra of a Lie-Rinehart algebra.
 
 ## References
 
-* Rinehart, G. S., Differential forms on general commutative algebras. Zbl 0113.26204
-Trans. Am. Math. Soc. 108, 195-222 (1963).
+* [Rinehart, G. S., Differential forms on general commutative algebras. Zbl 0113.26204
+  Trans. Am. Math. Soc. 108, 195-222 (1963).][rinehart_1963]
 
 -/
 

docs/references.bib

@@ -4414,6 +4414,18 @@ @Book{            RiehlVerity2022
   url           = {https://emilyriehl.github.io/files/elements.pdf}
 }
 
+@Article{         rinehart_1963,
+  title         = {Differential forms on general commutative algebras},
+  volume        = {108},
+  doi           = {10.1090/s0002-9947-1963-0154906-3},
+  number        = {2},
+  journal       = {Trans. Amer. Math. Soc.},
+  fjournal      = {Transactions of the American Mathematical Society},
+  author        = {Rinehart, George S.},
+  year          = {1963},
+  pages         = {195--222}
+}
+
 @Misc{            RisingSea,
   author        = "Vakil, Ravi",
   title         = "{The Rising Sea: Foundations Of Algebraic Geometry Notes}",