Mathlib v3 is deprecated. Go to Mathlib v4

Inductive list.palindrome

Modification history

2022-04-09 00:02

src/data/list/palindrome.lean

feat(data/list/big_operators): More lemmas about alternating product (#13195) …

Added list.palindrome View on Github →