Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-05-19 17:40 f2534017

View on Github →

refactor: coherent composition order (#1055)

Estimated changes