From 2ae8926e4c8500205bf476374f05f707e07bfe85 Mon Sep 17 00:00:00 2001 From: Sameer Savkar Date: Mon, 12 Jun 2023 13:38:26 -0700 Subject: [PATCH] Moved files --- {comm_alg => CommAlg}/sameer(artinian-rings).lean | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {comm_alg => CommAlg}/sameer(artinian-rings).lean (100%) diff --git a/comm_alg/sameer(artinian-rings).lean b/CommAlg/sameer(artinian-rings).lean similarity index 100% rename from comm_alg/sameer(artinian-rings).lean rename to CommAlg/sameer(artinian-rings).lean