If true, allow mappping capture set variables under captureChecking with maps that are neither bijective nor idempotent. We currently do now know how to do this correctly in all cases, though.
If true, allow mappping capture set variables under captureChecking with maps that are neither bijective nor idempotent. We currently do now know how to do this correctly in all cases, though.