Move proofs out of theorem environments

Browse Source

Regex used: \\begin{(lemma|korollar|satz|theo|folgerung)}(?P<theorem>\X*?)(?P<proof>\\begin{proof}\X*?\\end{proof})\s+?\\end{(?1)}
Substitution used: \\begin{$1}\n${theorem}\\end{$1}\n${proof}

...

This commit is contained in:

Anton Mosich 2022-06-08 23:25:28 +02:00

parent 4701aa7bce

commit bb335de79f

Signed by: Flugschwein

GPG Key ID: 9303E1C32E3A14A0

1 changed files with 1760 additions and 1679 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3439

LinAlg2.tex

View File

File diff suppressed because it is too large Load Diff