That worked as well. Thanks.
Can have multiple values like Definition X'' : {'(a,b,c) & (a<b<c)}. as well. Makes it concise and handy.
Definition X'' : {'(a,b,c) & (a<b<c)}.
Julin S has marked this topic as resolved.
Last updated: Jan 27 2023 at 01:03 UTC