Commit 2023-12-04 10:29 b9a6d49b

fix(Tactic/ToAdditive): handle AddCommute and AddSemiconjBy correctly (#8757) This removes the need for many manual overrides, and corrects some bad names. We have to make sure to leave function_commute and function_semiconjBy untouched.