No commit message

UniMath · Feb 14, 2025 · d588d20 · d588d20
1 parent 1decb63
commit d588d20
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/references.bib b/references.bib
@@ -443,7 +443,6 @@ @article{KECA17
   eprintclass = {cs}
 }
 
-
 @book{Kunen11,
   author    = {Kunen, Kenneth},
   title     = {Set theory},