automath

基本解释

• n.自動數學程序

同根派生

 

• automath相关词