feat: add ground evaluation for And/Or in Sym.Simp#12660

wkrozowski wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom

wkrozowski:wojciech/cbv_perf4wkrozowski/lean4:wojciech/cbv_perf4Copy head branch name to clipboard