Mathlib v3 is deprecated. Go to Mathlib v4

Theorem foo3

Modification history

2022-03-19 17:43
test/lint.lean
chore(*): update to lean 3.42.0c (#12818)
Deleted foo3View on Github →
2019-08-16 02:19
test/sanity_check.lean
feat(tactic/sanity_check): add #sanity_check command (#1318) …
Added foo3View on Github →