Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-12-16 04:19
fdf57b01
View on Github →
chore: bump Std to match leanprover/std4
#448
(
#9044
)
Estimated changes
Modified
Mathlib/Data/List/Basic.lean
modified
theorem
List.insert_neg
Modified
Mathlib/Data/List/Infix.lean
deleted
theorem
List.insert.def
added
theorem
List.insert_eq_ite
Modified
Mathlib/Logic/Basic.lean
deleted
theorem
dite_eq_ite
Modified
lake-manifest.json