mathlib3

aab56fd7 - chore(data/rat/init): freeze (#17529)