add reference

Author: lua-vr

docs/references.aux

@@ -0,0 +1,2 @@
+\relax 
+\gdef \@abspage@last{1}

docs/references.bib

@@ -3602,6 +3602,18 @@ @Article{         kratschmer_urusov2023
   url           = {https://doi.org/10.1007/s10959-022-01207-8}
 }
 
+@Book{            krengelErgodicTheorems2011,
+  title         = {Ergodic {{Theorems}}},
+  author        = {Krengel, Ulrich},
+  year          = 2011,
+  month         = mar,
+  publisher     = {De Gruyter},
+  doi           = {10.1515/9783110844641},
+  urldate       = {2026-06-03},
+  isbn          = {978-3-11-084464-1},
+  langid        = {english}
+}
+
 @Book{            kung_rota_yan2009,
   author        = {Kung, Joseph P. S. and Rota, Gian-Carlo and Yan, Catherine
                   H.},

docs/references.dvi

@@ -0,0 +1,14 @@
+# Fdb version 4
+["latex"] 1780491888.82314 "/home/lua/lean/maximal-theorem/docs/references.bib" "references.dvi" "references" 1780491892.66182 2
+  "/home/lua/lean/maximal-theorem/docs/references.bib" 1780491888.74834 214838 e0b7cd08d4e2dff989c9f6f90831d54b ""
+  "/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 ""
+  "/usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/tcrm1000.tfm" 1136768653 1536 e07581a4bb3136ece9eeb4c3ffab8233 ""
+  "/usr/share/texlive/texmf-dist/web2c/texmf.cnf" 1777593600 43785 66587115382950aca692b5f6e3c2fb74 ""
+  "/var/lib/texmf/web2c/pdftex/latex.fmt" 1780410852 3527841 24d467e0e675c542f05deaf76d74a85c ""
+  "references.aux" 1780491762.57762 32 3985256e7290058c681f74d7a3565a19 "latex"
+  "references.bib" 1780491888.74834 214838 e0b7cd08d4e2dff989c9f6f90831d54b ""
+  (generated)
+  "references.aux"
+  "references.dvi"
+  "references.log"
+  (rewritten before read)

docs/references.fdb_latexmk

@@ -0,0 +1,9 @@
+PWD /home/lua/lean/maximal-theorem/docs
+INPUT /usr/share/texlive/texmf-dist/web2c/texmf.cnf
+INPUT /usr/share/texlive/texmf-dist/web2c/texmf.cnf
+INPUT /var/lib/texmf/web2c/pdftex/latex.fmt
+INPUT /home/lua/lean/maximal-theorem/docs/references.bib
+OUTPUT references.log
+OUTPUT references.dvi
+INPUT /usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map
+INPUT /usr/share/texlive/texmf-dist/fonts/tfm/jknappen/ec/tcrm1000.tfm