Commit 06a00fb

committed

Rewording the proof of (SEQ)

1 parent d45a793 commit 06a00fbCopy full SHA for 06a00fb

1 file changed

+84

-82

lines changed

text
- 2018-01-07-deque-proof.md

1 file changed

+84

-82

lines changed

Comments

(0)