我试图将(1,2,3)定义为coq中的一组元素.我可以使用list定义它(1 ::(2 ::(3 :: nil))).有没有办法在不使用列表的情况下在coq中定义set.
set coq
coq ×1
set ×1