zohaze (Nov 28 2022 at 16:33): zohaze (Nov 28 2022 at 16:33):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 ?
Lessness (Nov 30 2022 at 20:51):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.
Pierre Castéran (Dec 01 2022 at 07:21):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: Oct 13 2024 at 01:02 UTC