append_reverse — Mathlib · SciLib

∫ Утверждение Mathlib

append_reverse

Mathlib.Data.List.Palindrome

URI: https://scilib.ai/kg/mathlib#List.Palindrome.append_reverse

← MathLib Explorer