From 51fe28bdd9943e359de5835d2737c0fdc8618df7 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Tue, 8 Jul 2025 21:20:20 +0200
Subject: Linting and optimization

---
 library/set/suc.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/set/suc.tex')

diff --git a/library/set/suc.tex b/library/set/suc.tex
index 3776045..ecfa701 100644
--- a/library/set/suc.tex
+++ b/library/set/suc.tex
@@ -1,7 +1,7 @@
 \import{set/cons.tex}
 \import{set/regularity.tex}
 
-\subsection{Successor}
+\subsection{Ordinal successor}
 
 \begin{definition}\label{suc}
     $\suc{x} = \cons{x}{x}$.
-- 
cgit v1.2.3

