Def renameTest

Modification history

2026-03-14 12:09
MathlibTest/ToDual.lean
feat(Translate): add support for specifying argument names (#36402) …
Added renameTestView on Github →