search-mathlib / theorems.txt
dx2102's picture
Upload 2 files
b65779c verified
This file is stored with Xet . It is too big to display, but you can still download it.

Large File Pointer Details

( Raw pointer file )
SHA256:
ec39405cd29f0cdb25dde5079567825ca9e40f07cde8772056282272cb38ef33
Pointer size:
133 Bytes
·
Size of remote file:
99.3 MB
·
Xet hash:
9d27d82da4e21c3233896ce44137300627109d969c397c93ece112d9346fa043

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.