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