Rosalind Tanner - British historian of mathematics