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