4 lines
131 B
Coq
4 lines
131 B
Coq
|
version https://git-lfs.github.com/spec/v1
|
||
|
|
oid sha256:09ddc2910c0d208bf5b268a9f87d207c45c7e1b961f78397051b501e7099fb28
|
||
|
|
size 150075
|