mathlib3

b9b5bb4b - chore(Github): no need to wait for Appveyor anymopre