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: Jun 15 2024 at 08:01 UTC