Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-12-11 12:19 6b10d8d6

View on Github →

chore(tests/finish3): rename definition with same name

Estimated changes

Modified tests/finish3.lean

added theorem foo':

deleted theorem foo: