mathlib3

e602ddb3 - trying to improve can_assume_min