>

axiomatic proof rule

📖 中文释义

  1. [计] 公理证明规则
A 字母词表