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