>

fixpoint induction method

📖 中文释义

  1. [计] 不动点归纳法