Suggestion for changing the semantics of ** in case the first argument is 0#5

yoni206 wants to merge 1 commit into

SMT-LIB:mainSMT-LIB/SMT-LIB.github.io:mainfrom

yoni206:exp-no-partialyoni206/SMT-LIB.github.io:exp-no-partialCopy head branch name to clipboard