>

subgoal induction

📖 中文释义

  1. [计] 子目标归纳