From 6526b836b2b1b559afc411e9ddc41c4ecde4c95c Mon Sep 17 00:00:00 2001 From: Eric P Date: Wed, 21 Aug 2024 19:01:27 -0700 Subject: [PATCH] Fix capitalization --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 5129aec..80fe73f 100644 --- a/README.md +++ b/README.md @@ -5,5 +5,5 @@ Formalization of results regarding ordered semigroups. [Here is the blueprint](https://ericluap.github.io/OrderedSemigroups/blueprint/) and [here is the documentation](https://ericluap.github.io/OrderedSemigroups/docs/) for the project. The blueprint contains natural language versions of what is proved and links to the corresponding formalization in the documentation. -The formalization follows the paper "On ordered Semigroups" by N.G. Alimov. +The formalization follows the paper "On ordered semigroups" by N.G. Alimov.