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 →