conjure icon indicating copy to clipboard operation
conjure copied to clipboard

Published 20 hours ago • verified publisher icon conjure-cp

subsetEq quantifier does not work over defined portion of function

Open SaadAttieh opened this issue 4 years ago • 0 comments 

letting D be domain int(1..3)
find f : function  (maxSize 3)  set of D --> D
such that
forAll {s1,s2} subsetEq defined(f) . true

SaadAttieh avatar Aug 10 '20 12:08 SaadAttieh