替换Coq清单中的内容
原文：Replace element in Coq list

我撰写的《科克法典》需要修改名单,特别是使用指数一,将功能适用于该要素,并替换该指数。 我知道,我可以通过使用......使名单的名人屈服。