Prove that insertIntoCurrent and removeFromCurrent preserves well-formedness#129

math-fehr merged 2 commits intomainopencompl/veir:mainfrom

math-fehr/insertIntoCurrent-wf-generalizedopencompl/veir:math-fehr/insertIntoCurrent-wf-generalizedCopy head branch name to clipboard