DictionaryForumContacts

   Chinese English
Google | Forvo | +
归约定理
tech. deduction theorem