Def ToAdditive.reorderForall

Modification history

2024-07-15 23:26

Mathlib/Tactic/ToAdditive.lean

feat(to_additive): unfold lemmas generated by `simp` (#14628) …

Modified ToAdditive.reorderForall View on Github →

2023-04-28 06:56

Mathlib/Tactic/ToAdditive.lean

perf: improve performance of `to_additive` (#3632) …

Modified ToAdditive.reorderForall View on Github →

2022-12-02 17:02

Mathlib/Tactic/ToAdditive.lean

feat: to_additive can reorder arguments of generated declaration (#818) …

Added ToAdditive.reorderForall View on Github →