Commit 2023-12-21 04:20 97957467

View on Github →

chore: bump Std to leanprover/std4#277 (#9172)

Estimated changes

Modified Mathlib/Data/List/Basic.lean

deleted theorem List.drop_add

deleted theorem List.drop_eq_get_cons

deleted theorem List.drop_left'

deleted theorem List.drop_left

deleted theorem List.drop_one

Modified Mathlib/Data/List/Zip.lean

deleted theorem List.map_fst_zip

deleted theorem List.map_snd_zip

deleted theorem List.map_zipWith

deleted theorem List.zipWith_append

deleted theorem List.zipWith_distrib_drop

deleted theorem List.zipWith_distrib_tail

deleted theorem List.zipWith_distrib_take

deleted theorem List.zipWith_eq_nil_iff

deleted theorem List.zip_append

deleted theorem List.zip_map'

Modified lake-manifest.json