Def ToAdditive.updateDecl

Modification history

2023-09-29 06:57

Mathlib/Tactic/ToAdditive.lean

chore: exactly 4 spaces in theorems (#7328)

Modified ToAdditive.updateDecl View on Github →

2022-05-11 23:41

Mathlib/Tactic/ToAdditive.lean

feat: `to_additive` (#234) …

Added ToAdditive.updateDecl View on Github →