Mathlib v3 is deprecated. Go to Mathlib v4

Theorem foo

Modification history

2022-03-19 17:43
test/lint_to_additive_doc.lean
chore(*): update to lean 3.42.0c (#12818)
Deleted fooView 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 fooView on Github →
2021-03-31 14:28
test/elementwise.lean
feat(tactic/elementwise): autogenerate lemmas in concrete categories (#6941) …
Added fooView on Github →
2020-10-23 10:15
test/import_order_timeout.lean
fix(deprecated/*): remove instances (#4735) …
Added fooView on Github →