From 311fff704f96869e0ea239f129a7cf846c206c4f Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Wed, 22 May 2024 16:57:17 +0200
Subject: Update label for `genopens`

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

(limited to 'library/topology/basis.tex')

diff --git a/library/topology/basis.tex b/library/topology/basis.tex
index e33909f..d8cfeaf 100644
--- a/library/topology/basis.tex
+++ b/library/topology/basis.tex
@@ -44,7 +44,7 @@
     there exists $W\in B$ such that $x\in W\subseteq U, V$.
 \end{definition}
 
-\begin{definition}\label{genOpens}
+\begin{definition}\label{genopens}
     $\genOpens{B}{X} = \left\{ U\in\pow{X} \middle| \textbox{for all $x\in U$ there exists $V\in B$
     \\ such that $x\in V\subseteq U$}\right\}$.
 \end{definition}
-- 
cgit v1.2.3