mathlib3

f71496b4 - Merge branch 'adomani_regular_variables' into adomani_regular_inj_dot_notation