Nuprl Definition : nat_op
n x(op;id) e == Π(op,id) 0 ≤ i < n. e
Definitions occuring in Statement :
itop: Π(op,id) lb ≤ i < ub. E[i],
natural_number: $n
Definitions occuring in definition :
itop: Π(op,id) lb ≤ i < ub. E[i],
natural_number: $n
Latex:
n x(op;id) e == \mPi{}(op,id) 0 \mleq{} i < n. e
Date html generated:
2016_05_15-PM-00_15_10
Last ObjectModification:
2015_09_23-AM-06_24_58
Theory : groups_1
Home
Index