Mathlib v3 is deprecated. Go to Mathlib v4

Def {a

Modification history

2021-10-18 23:50

test/to_additive.lean

feat(tactic/to_additive): Improvements to to_additive (#5487) …

Deleted {a View on Github →

2021-07-05 15:47

test/to_additive.lean

feat(algebra/to_additive): map pow to smul (#7888) …

Added {a View on Github →