mathlib3

c288ba81 - Fix test breakage due to upstream changes