Mathlib v3 is deprecated. Go to Mathlib v4

Def quux

Modification history

2022-03-19 17:43
test/lint_to_additive_doc.lean
chore(*): update to lean 3.42.0c (#12818)
Added quuxView on Github →