Suche
❯
19. Jan. 20261 Min. Lesezeit
Has the Effect label for the initial state. It thus establishes a Post-Condition.