From 0f27a15749bd047912f09469653a83238f86ea0a Mon Sep 17 00:00:00 2001
From: Petri Hienonen <petri.hienonen@gmail.com>
Date: Sun, 15 Feb 2026 16:01:38 +0200
Subject: Remove

---
 KnowledgeBase.lean | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 KnowledgeBase.lean

(limited to 'KnowledgeBase.lean')

diff --git a/KnowledgeBase.lean b/KnowledgeBase.lean
deleted file mode 100644
index a5728c3..0000000
--- a/KnowledgeBase.lean
+++ /dev/null
@@ -1,4 +0,0 @@
--- KnowledgeBase root module (auto-generated by kb)
-
-import Mathematics
-import SocietyCulture
-- 
cgit v1.3-1-g0d28