Add inversion from weighted#655

eb8680 merged 9 commits into

staging-weightedBasisResearch/effectful:staging-weightedfrom

jf-weighted-liftingBasisResearch/effectful:jf-weighted-liftingCopy head branch name to clipboard