recursive equivalence type

基本解释

• [數學]遞歸等價型

专业释义

數學

• 遞歸等價型