Mathlib v3 is deprecated. Go to Mathlib v4

Theorem foo4

Modification history

2019-09-25 18:11
test/sanity_check.lean
feat(sanity_check): improvements (#1487) …
Deleted foo4View on Github →
2019-08-16 02:19
test/sanity_check.lean
feat(tactic/sanity_check): add #sanity_check command (#1318) …
Added foo4View on Github →