Nuprl Definition : mon_itop
Π lb ≤ i < ub. E[i] == Π(*,e) lb ≤ i < ub. E[i]
Definitions occuring in Statement :
itop: Π(op,id) lb ≤ i < ub. E[i],
grp_id: e,
grp_op: *
Definitions occuring in definition :
itop: Π(op,id) lb ≤ i < ub. E[i],
grp_op: *,
grp_id: e
Latex:
\mPi{} lb \mleq{} i < ub. E[i] == \mPi{}(*,e) lb \mleq{} i < ub. E[i]
Date html generated:
2016_05_15-PM-00_15_45
Last ObjectModification:
2015_09_23-AM-06_25_04
Theory : groups_1
Home
Index