Skip to content

Fixed typo in Definition 2.1

Thaumstrialrequested to merge
thaumstrial/two-voice-semantics:main into main

What i did

Fixed the "there a" that should be "there exists a" in Definition 2.1

Related ticket

related issue: #2

Merge request reports