一行小行星

一行小行星，是為了紀念一行的功績，人們將小行星1972命名為“一行小行星”。