This commit is contained in:
Stefan Kebekus
2025-11-11 15:09:36 +01:00
parent fd1607a16e
commit 6b79521290
8 changed files with 135 additions and 8 deletions

View File

@@ -48,3 +48,8 @@ Morera
Novara
Amandus
Biholomorphie
Hebbarkeitssatz
Ostenfelde
Casorati
Casteggio
Hebbarkeitsatz

View File

@@ -26,3 +26,4 @@
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QEs ist \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\QId.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QInsbesondere gibt es offene Umgebung \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, sodass auf \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q eine \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q-te Wurzelfunktion existiert, also eine Funktion \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q sodass für jedes \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q die Gleichung \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q gilt.\\E$"}
{"rule":"GERMAN_SPELLER_RULE","sentence":"^\\QWegen \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q gibt es eine offene Umgebung \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q auf der eine \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q-te Wurzelfunktion existiert, also eine Funktion \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q sodass für jedes \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q die Gleichung \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q gilt.\\E$"}
{"rule":"UNPAIRED_BRACKETS","sentence":"^\\QDie Funktionen \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q und \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q stimmen demnach auf \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q überein, sind nach Korollar\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q (“Identitätssatz für holomorphe Funktionen”) also gleich!\\E$"}