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