Mathlib Changelog
v4
Changelog
About
Github
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