conditional proof

formal proof

en-US/kənˈdɪʃənəl ˈpɹuf/
en-GB/kənˈdɪʃənəl ˈpɹuːf/

カテゴリ：

formal proof