John Leech — British mathematician (1926–1992)