Mathlib v3 is deprecated. Go to Mathlib v4

Theorem foo':

Modification history

2017-12-11 12:19
tests/finish3.lean
chore(tests/finish3): rename definition with same name
Added foo':View on Github →