👤

who invented the first folding ruler