Files
lean-finder/mathlib4_28_0.index

4 lines
135 B
Plaintext
Raw Permalink Normal View History

version https://git-lfs.github.com/spec/v1
oid sha256:ff0b88aa2bc14506374dbb59096b6669a8b3abd439d0b800494cc987ea4f05db
size 3681845293