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