Commit 2025-12-05 13:19 06bb38c5

feat(push_neg): push_neg +distrib syntax (#31406) This PR adds the syntax push_neg +distrib, by_cases! +distrib, contrapose! +distrib and by_contra! +distrib. This is much more convenient to use than writing out set_option push_neg.use_distrib true in. All uses of the set_option version have been replaced with the new syntax. I also add a missing namespace in the definition of by_cases! and by_contra!