Def Test.MonoidEnd

Modification history

2025-12-03 00:23

MathlibTest/toAdditive.lean

feat(translate): define the `do_translate` attribute (#32229) …

Modified Test.MonoidEnd View on Github →

2024-12-22 16:53

MathlibTest/toAdditive.lean

feat(to_additive): option to not translate operations on a type (#19297) …

Added Test.MonoidEnd View on Github →