Mathlib v3 is deprecated. Go to Mathlib v4

Theorem no_to_additive

Modification history

2022-03-19 17:43

test/lint_to_additive_doc.lean

chore(*): update to lean 3.42.0c (#12818)

Deleted no_to_additive View on Github →

2022-03-11 08:22

test/lint_to_additive_doc.lean

refactor(algebra/group/to_additive): monadic code cosmetics (#12527) …

Added no_to_additive View on Github →