Stream: Coq users

Topic: existing elements

view this post on Zulip zohaze (May 26 2023 at 10:02):

When there is need of performing induction on list twice? I want to know about two numbers of list which already have one element. Therefore i have performed induction again. Now how i can link both cases in term of element already exist and the element exist in tail of list after second time induction.

Last updated: Oct 04 2023 at 23:01 UTC