Commit 2023-08-16 13:05 62396ef5

View on Github →

feat(Data/List/Basic): remove bind_append (#6599) This removes bind_append, since an identical append_bind is already in std.

Estimated changes

Modified Mathlib/Computability/TuringMachine.lean

Modified Mathlib/Data/Fin/Tuple/NatAntidiagonal.lean

Modified Mathlib/Data/List/Basic.lean

deleted theorem List.bind_append

Modified Mathlib/Data/List/Sublists.lean