定理证明器

Большой китайско-русский словарь