dependent typeIs there any diffe

dependent type - Is there any difference between "parameters" and "indices" in Coq theorems?
I am perfectly familiar with the deal of distinguishing parameters from indices while declaring inducti
admin10小时前
30