4 lines
130 B
Coq
4 lines
130 B
Coq
|
version https://git-lfs.github.com/spec/v1
|
||
|
|
oid sha256:39de9d36d23ee343704ce12f7f1b9862b24396f911e81f218012c37a5cfe1e62
|
||
|
|
size 16683
|