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