Mathlib v3 is deprecated. Go to Mathlib v4

Theorem quux

Modification history

2022-03-19 17:43

test/lint_to_additive_doc.lean

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

Deleted quux 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 quux View on Github →