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