Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
aa:lab:4 [2025/10/27 20:12] dmihai |
aa:lab:4 [2025/10/27 21:14] (current) lfa |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| 1. $ \forall l \in List. reverse(reverse(l)) = l$ | 1. $ \forall l \in List. reverse(reverse(l)) = l$ | ||
| - | 2. $ \forall x, size(move(r)) = size(r)$ | + | 2. $ \forall r \in Ring, size(move(r)) = size(r)$ |
| 3. $ \forall i \in \mathbb{N}, \forall r \in Ring, element(i,move(r)) = element(i+1,r)$ | 3. $ \forall i \in \mathbb{N}, \forall r \in Ring, element(i,move(r)) = element(i+1,r)$ | ||