Def ToAdditive.applyReplacementFun

Modification history

2024-12-22 16:53

Mathlib/Tactic/ToAdditive/Frontend.lean

feat(to_additive): option to not translate operations on a type (#19297) …

Modified ToAdditive.applyReplacementFun View on Github →

2022-12-16 09:48

Mathlib/Tactic/ToAdditive.lean

perf: improve to_additive performance (#1060) …

Modified ToAdditive.applyReplacementFun View on Github →

2022-05-11 23:41

Mathlib/Tactic/ToAdditive.lean

feat: `to_additive` (#234) …

Added ToAdditive.applyReplacementFun View on Github →