Theorem Test.monoidEnd_lemma

Modification history

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