mathlib3

ce125583 - simplify with better `variables` declarations