Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-21 17:46 7944cc55

View on Github →

fix(*): fix some problems introduced with 98152392bcd4b3f783602d030a5ab6a9e47e0088 and 9aec1d18d3c4cbad400d7ddcdd63b94d647b0a01

Estimated changes