Def Test.MonoidEnd

Modification history

2024-12-22 16:53
MathlibTest/toAdditive.lean
feat(to_additive): option to not translate operations on a type (#19297) …
Added Test.MonoidEndView on Github →