smaller fixes of notation

This commit is contained in:
NT
2022-05-20 20:10:16 +02:00
parent 4d84d9b4ed
commit 333c99ab6b
4 changed files with 11 additions and 8 deletions

Binary file not shown.