From 36c3d0f66bc65e6551549ae091e50fcb20e12b0d Mon Sep 17 00:00:00 2001
From: Stefan Kebekus <kebekus@users.noreply.github.com>
Date: Tue, 2 Jul 2024 11:45:03 +0200
Subject: [PATCH] Create tensor.lean

---
 Nevanlinna/tensor.lean | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 Nevanlinna/tensor.lean

diff --git a/Nevanlinna/tensor.lean b/Nevanlinna/tensor.lean
new file mode 100644
index 0000000..e69de29