mathlib3

chore(ci): remove unneeded Lean version restrictions

#2065

Merged