From 8cda32fda857d9242eb42d4fb5774e6869525476 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Tue, 8 Jul 2025 22:30:42 +0200
Subject: Revert function changes

---
 library/relation.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'library/relation.tex')

diff --git a/library/relation.tex b/library/relation.tex
index d63e747..c653e29 100644
--- a/library/relation.tex
+++ b/library/relation.tex
@@ -419,6 +419,7 @@
     $\fld{\emptyset} = \emptyset$.
 \end{proposition}
 
+% TODO SLOW
 \begin{proposition}\label{fld_cons}
     $\fld{(\cons{(a,b)}{R})} = \cons{a}{\cons{b}{\fld{R}}}$.
 \end{proposition}
-- 
cgit v1.2.3

