Fix typo in module header

agda · May 15, 2023 · 7ec3801 · 7ec3801
1 parent 6c9a9e1
commit 7ec3801
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Data/Nat/Primality/Factorization.agda b/src/Data/Nat/Primality/Factorization.agda
@@ -1,7 +1,7 @@
 ------------------------------------------------------------------------
 -- The Agda standard library
 --
--- Prime factorization of naturla numbers and its properties
+-- Prime factorization of natural numbers and its properties
 ------------------------------------------------------------------------
 
 {-# OPTIONS --cubical-compatible --safe #-}