feat(Tactic/FunProp): allow discharging non-prop hypotheses #39224
+13
−11
background
wait
wait-all
cancel
Loading