4 lines
131 B
Coq
4 lines
131 B
Coq
|
version https://git-lfs.github.com/spec/v1
|
||
|
|
oid sha256:c2d8489780287102125e33c36e2369e0b58d6cbb5bb9e65aac7770a576b13cf0
|
||
|
|
size 524563
|