Commit 2022-10-13 06:15 a6c72beb

View on Github →

feat: to_additive calls addDeclarationRanges (#461)

Estimated changes

Modified Mathlib/Tactic/ToAdditive.lean

modified def ToAdditive.transformDecl

Modified test/toAdditive.lean