I have a natural number list . First want to count two different elements in the list then show that count of one element is greater than other. How i should proceed to prove this ?

What about list `1::2::nil`

? There the number of 1s is equal to number of 2s.

If I understand you correctly, what you want to prove is false.

The original question was quite vague (was it a statement about *any* list, or a *given* list and

given elements defined in the current context)?

Last updated: Jan 29 2023 at 01:02 UTC