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

---
 Mathematics.lean | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 Mathematics.lean

(limited to 'Mathematics.lean')

diff --git a/Mathematics.lean b/Mathematics.lean
deleted file mode 100644
index 59508fa..0000000
--- a/Mathematics.lean
+++ /dev/null
@@ -1,5 +0,0 @@
--- Knowledge Base domain: Mathematics
-
-opaque Entity : Type
-opaque socrates : Philospher
-axiom fact_birthYear_socrates : birthYear socrates = 420
-- 
cgit v1.3-1-g0d28

