diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2025-07-08 21:20:20 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2025-07-08 21:20:20 +0200 |
| commit | 51fe28bdd9943e359de5835d2737c0fdc8618df7 (patch) | |
| tree | d21664e4d77d38c7ec4a941670b10f5c94071365 /library/set/suc.tex | |
| parent | db353b6d19eb5cb4181b64fe37a1bd550395169c (diff) | |
Linting and optimization
Diffstat (limited to 'library/set/suc.tex')
| -rw-r--r-- | library/set/suc.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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}$. |