fix(Foundations): add noWs guard to well-formed postfix notation#675

VitaliPath wants to merge 2 commits into

leanprover:mainleanprover/cslib:mainfrom

VitaliPath:fix/well-formed-notation-collisionVitaliPath/cslib:fix/well-formed-notation-collisionCopy head branch name to clipboard