issue !4#21841: `push` tactic that generalizes `push_neg`...

Stream: triage

[Random Issue Bot]

Today I chose issue #21841 for discussion!

push tactic that generalizes push_neg from neg to any def.
Created by @Bolton Bailey (@BoltonBailey) on 2025-02-13
Labels:

Is this issue still relevant? Any recent updates? Anyone making progress?

[Michael Rothgang]

Still relevant, and being worked on