Die Lyapunov-Funktion muss negativ definit sein
Die Lyapunov-Funktion muss negativ semidefinit sein (falsch)
Baroque art features strong contrasts, while Rococo art prefers more subtle transitions
Baroque art is generally larger in scale than Rococo art