Commit 2022-10-11 09:52 1203930f

View on Github →

chore: bump std (#464)

chore: bumping std
chore: remove unused theorem

Estimated changes

Modified Mathlib/Data/Array/Basic.lean

deleted theorem Array.size_mapIdxM_map

Modified Mathlib/Data/List/Pairwise.lean

deleted theorem List.Pairwise.imp

deleted theorem List.pairwise_append

deleted theorem List.pairwise_map

Modified Mathlib/Data/List/Range.lean

Modified lean_packages/manifest.json