我正在尝试使用https://coq.inria.fr/distrib/current/stdlib/Coq.Lists.List.html中显示的concat函数。我尝试了以下方法：
Require Import Arith Coq.Lists.List.
Import ListNotations.
Definition CON (l : list nat):= (concat [[0]; l]).
但我收到错误Error: The reference concat was not found in the current environment.我认为这应该有效，因为我已经导入了库，所以我不知道这个错误来自哪里。
我使用的是版本8.4pl3（2014年1月）。可能是版本问题吗？