Def ToAdditive.additiveTestAux

Modification history

2023-04-28 06:56
Mathlib/Tactic/ToAdditive.lean
perf: improve performance of `to_additive` (#3632) …
Deleted ToAdditive.additiveTestAuxView on Github →
2023-02-03 22:53
Mathlib/Tactic/ToAdditive.lean
refactor: change the way to_additive parses options (#1780) …
Added ToAdditive.additiveTestAuxView on Github →