Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-04-14 11:53
54dbb132
View on Github →
doc: how to add a translation for
to_additive
(
#24033
)
Estimated changes
Modified
Mathlib/Tactic/ToAdditive/Frontend.lean