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