Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-04-16 21:38 4b8106b3

View on Github →

fix(test/local_cache): make the trace text explicit and quiet (#941) (by default)

Estimated changes

added def do_trace