I have two dimensional list. First list have index value while second is a natural number list. I want to convert it into one dimensional list, mean original natural number list without index. How I can do it in Coq ?

Last updated: Jan 28 2023 at 08:02 UTC