Fan Chengda ji jiao jian - Fan, Chengda 1126-1193 (Shanghai gu ji chu ban she, 2022)
Includes index