Commit 2023-06-19 07:36 58bb00d9

chore: let push_neg handle not_iff (#5235) There is not really a standard negation for iff, but I think the one I have set up here is a common one, and anyway any handling is better than nothing. If someone would like an alternate handling of the iff negation, they can set it up as an option for the tactic, as is currently done with the variants on the and negation.