coinduction

基本解釋

• n.共誘導

同根派生

 

• coinduction相關詞