Stream: Coq users

Topic: natural numbers


view this post on Zulip pianke (Jun 03 2023 at 18:07):

n< length l
list nat =(a::t)
b & c are nat.
H: a<>b
H1: a<>c

Want to find/search b &c in t of list. How i should proceed?


Last updated: Jun 13 2024 at 21:01 UTC