Commit 2024-01-10 13:07 68612e92

View on Github →

chore: bump Std dependency up to leanprover/std4#511 (#9609)

Estimated changes

Modified Mathlib/Data/List/Basic.lean

deleted theorem List.getLast?_singleton

deleted theorem List.getLast_mem

Modified Mathlib/Data/List/TFAE.lean

Modified Mathlib/Data/Prod/Basic.lean

deleted theorem Prod.lex_def

Modified Mathlib/Tactic/TFAE.lean

Modified lake-manifest.json