Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-05-10 07:11
d4e8dd23
View on Github →
chore: update dependencies (
#12792
)
Estimated changes
Modified
Mathlib/Data/List/OfFn.lean
added
theorem
List.get_ofFn_go
added
theorem
List.length_ofFn_go
Modified
Mathlib/LinearAlgebra/ExteriorAlgebra/Basic.lean
Modified
lake-manifest.json