Theorem List.drop_tail

Modification history

2024-09-03 05:37

Mathlib/Data/List/Basic.lean

chore: merge bump/v4.12.0 and move toolchain to v4.12.0-rc1 (#16433)

Deleted List.drop_tail View on Github →

2023-10-02 06:27

Mathlib/Data/List/Basic.lean

feat: some lemmas about List and ZMod (#7424)

Added List.drop_tail View on Github →