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