From 3923726f5d711923cf6e92cb25cb94e9e3af1059 Mon Sep 17 00:00:00 2001
From: xgampx <31212225+giammirove@users.noreply.github.com>
Date: Wed, 8 Nov 2023 13:39:28 +0100
Subject: [PATCH] Manual: Typo in subset axiom title (#186)
Co-authored-by: Sankalp Gambhir <sankalp.gambhir47@gmail.com>
Co-authored-by: SimonGuilloud <simon.guilloud@bluewin.ch>
---
Reference Manual/theory.tex | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Reference Manual/theory.tex b/Reference Manual/theory.tex
index 632a5774..5817ba5b 100644
--- a/Reference Manual/theory.tex
+++ b/Reference Manual/theory.tex
@@ -43,8 +43,8 @@ This is however not a convenient definition. In practice, all infinite axiomatiz
\begin{axz}[extensionality]\label{axz:extensionality}
$\forall x, y. (\forall z. z \in x \iff z \in y) \iff (x = y)$
\end{axz}
- \begin{axz}[extensionality]\label{axz:subset}
- $\forall x, y. x\subset y \iff \forall z. z \in x iff z \in y$
+ \begin{axz}[subset]\label{axz:subset}
+ $\forall x, y. x\subset y \iff \forall z. z \in x \iff z \in y$
\end{axz}
\begin{axz}[pair]\label{axz:pair}
$\forall x, y, z. (z \in (x, y)) \iff ((x \in y) \lor (y \in z))$
--
GitLab