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