Mathlib v3 is deprecated. Go to Mathlib v4

Def tidy.test.tidy_test_0

Modification history