From 624c1f85186565c7203b833d96fcb9925c4a9e89 Mon Sep 17 00:00:00 2001
From: Philip Kaludercic <philip.kaludercic@fau.de>
Date: Sun, 7 Apr 2024 20:45:45 +0200
Subject: [PATCH] Use a more fancy word at no advantage
---
background.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/background.tex b/background.tex
index 6daed4e..a1c3888 100644
--- a/background.tex
+++ b/background.tex
@@ -1,4 +1,4 @@
-\section{Preliminaries \emph{\&} Precedents}
+\section{Prolegomena \emph{\&} Precedents}
\label{def:background}
\begin{example}\label{ex:set}
@@ -226,4 +226,4 @@
%%% TeX-master: "master"
%%% End:
-% LocalWords: homomorphisms morphism
+% LocalWords: homomorphisms morphism Prolegomena
--
GitLab