small polishing

This commit is contained in:
2026-02-22 13:04:23 +01:00
parent 59c562915a
commit 26d93bd01e
3 changed files with 21 additions and 13 deletions

View File

@@ -8,6 +8,8 @@ iddeal = "ideal"
iddeals = "ideals"
allpha = "alpha"
fieldd = "field"
kernetl = "kernel"
extenaion = "extension"
# strings that are not a typo:
thm = "thm"