I am using basic definition of even numbers from library. List l holds the property of evenness. It means if i take any two numbers from list then these numbers will have this property. For example i have list l =(x1::x2::t) and select ( x1 & x2) and

(x1 and any element from t) . Want to show evenness for both cases.

Last updated: Oct 04 2023 at 20:01 UTC