Mathlib Changelog
v4
Changelog
About
Github
Def
renameTest
Modification history
2026-03-14 12:09
MathlibTest/ToDual.lean
feat(Translate): add support for specifying argument names (#36402) …
Added
renameTest
View on Github →