From 58450c56be897479198a42f517fff39a7008b7e4 Mon Sep 17 00:00:00 2001 From: poincare-duality Date: Mon, 12 Jun 2023 14:21:59 -0700 Subject: [PATCH] renamed thngs --- {comm_alg => CommAlg}/jayden(krull-dim-zero).lean | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {comm_alg => CommAlg}/jayden(krull-dim-zero).lean (100%) diff --git a/comm_alg/jayden(krull-dim-zero).lean b/CommAlg/jayden(krull-dim-zero).lean similarity index 100% rename from comm_alg/jayden(krull-dim-zero).lean rename to CommAlg/jayden(krull-dim-zero).lean