Mathlib Changelog
v4
Changelog
About
Github
Commit
2022-11-19 23:29
a63164b9
View on Github →
chore: bump to nightly-2022-11-19 (
#658
)
Estimated changes
Modified
Mathlib/Data/List/Range.lean
deleted
theorem
List.rangeAux_range'
added
theorem
List.range_loop_range'
Modified
lean-toolchain
Modified
lean_packages/manifest.json