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