From 0f3f18ef09b2d4e756d39d307aae344dbcc0d33d Mon Sep 17 00:00:00 2001 From: monula95 dutta Date: Wed, 14 Jun 2023 17:38:40 +0000 Subject: [PATCH] moved files into CommAlg --- comm_alg/test.lean => CommAlg/hilbertpolynomial.lean | 0 .docker/test.lean => CommAlg/monalisa.lean | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename comm_alg/test.lean => CommAlg/hilbertpolynomial.lean (100%) rename .docker/test.lean => CommAlg/monalisa.lean (100%) diff --git a/comm_alg/test.lean b/CommAlg/hilbertpolynomial.lean similarity index 100% rename from comm_alg/test.lean rename to CommAlg/hilbertpolynomial.lean diff --git a/.docker/test.lean b/CommAlg/monalisa.lean similarity index 100% rename from .docker/test.lean rename to CommAlg/monalisa.lean