From 44cbada3881c34d81bd8a74f041eaf7469f1ac74 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <contact@haschu.me>
Date: Mon, 15 Jun 2026 21:00:06 +0200
Subject: fixed point theorems

---
 SymbolicModalLogic.lean | 1 +
 1 file changed, 1 insertion(+)

(limited to 'SymbolicModalLogic.lean')

diff --git a/SymbolicModalLogic.lean b/SymbolicModalLogic.lean
index 5fbdbe6..dd1d18a 100644
--- a/SymbolicModalLogic.lean
+++ b/SymbolicModalLogic.lean
@@ -1,2 +1,3 @@
+import SymbolicModalLogic.FixedPoints
 import SymbolicModalLogic.MuCalculus
 import SymbolicModalLogic.Instances.Relational
-- 
cgit v1.3.1