![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
juan_gandhiTook me some time to prove
But I did.
Theorem distr_rev : forall l1 l2 : natlist, rev (l1 ++ l2) = (rev l2) ++ (rev l1).
But I did.
juan_gandhijuan_gandhi
Active Entries
- 1: тыквенный латте
- 2: ГП в 1910-м
- 3: сяу
Style Credit
- Style: Neutral Good for Practicality by timeasmymeasure
Expand Cut Tags
No cut tags