Def Test.Unit''

Modification history

2025-12-03 00:23
MathlibTest/toAdditive.lean
feat(translate): define the `do_translate` attribute (#32229) …
Added Test.Unit''View on Github →