A mathematical formalisation of dimensional analysis | Heykuki News