Stream: Coq users

Topic: swap two points

view this post on Zulip zohaze (Apr 11 2023 at 03:22):

Natural number list exist between two points x y.Means x is at head position and y is at the end of list. I have two other points/nats l m. l could be equal to x and m could be any other point. Is it possible m=x and & l could be any point of that list? Is it equal to revert list case?

view this post on Zulip Laurent Théry (Apr 11 2023 at 12:02):

can't understand your question, sorry

Last updated: Sep 23 2023 at 08:01 UTC