Commit 2023-01-07 07:42 51c56a92

View on Github →

chore: bump to nightly-2023-01-06 (#1397)

Estimated changes

Modified Mathlib/Control/Traversable/Basic.lean

Modified Mathlib/Data/List/Basic.lean

Modified Mathlib/Data/List/Infix.lean

modified theorem List.inits_reverse

modified theorem List.length_tails

modified theorem List.map_reverse_inits

modified theorem List.map_reverse_tails

modified theorem List.tails_reverse

Modified Mathlib/Logic/Equiv/LocalEquiv.lean

Modified lake-manifest.json

Modified lean-toolchain