fix: normalize nonDep flag for letE expressions#11

hargoniX merged 1 commit intoleanprover:masterleanprover/lean4export:masterfrom

kim-em:fix-nondep-normalizationkim-em/lean4export:fix-nondep-normalizationCopy head branch name to clipboard