refactor: make constant folding more robust for future bugs#11044

hargoniX merged 1 commit intomasterleanprover/lean4:masterfrom

hbv/provable_constant_foldleanprover/lean4:hbv/provable_constant_foldCopy head branch name to clipboard