Encuentra la definición y notaciones como ++ en Coq
¿Cómo podemos obtener la definición / tipo para esas notaciones como"+"o"++" deList?
Yo he tratado :Search ++, Search "++", Search (++), SearchAbout ... yCheck ++, Check "++", Check(++).
Sin embargo, ninguno de ellos funciona ...
SearchAbout "++" muestra alguna información, pero no la definición de"++".