Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
baz
Modification history
2022-03-19 17:43
test/lint_to_additive_doc.lean
chore(*): update to lean 3.42.0c (#12818)
Deleted
baz
View on Github →
2022-03-08 08:30
test/lint_to_additive_doc.lean
feat(algebra/group/to_additive): add to_additive doc string linter (#12487) …
Added
baz
View on Github →