Update README.md

mbkybky · Oct 26, 2024 · 7b07b3f · 7b07b3f
1 parent 1559f5a
commit 7b07b3f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1 +1,3 @@
-# GaloisRamification
+# Ramification theory in Galois extensions of Dedekind domains
+
+Formalizing the ramification theory in Galois extensions of Dedekind domains, which is also called Hilbert's Ramification Theory.