Title: Iwanami Dictionary of Mathematics [Japan Import]