Nuprl Definition : per-exists

per-exists(A;a.B[a]) == per-product(A;a.B[a])

Definitions occuring in Statement : per-product: per-product(A;a.B[a])
Definitions occuring in definition : per-product: per-product(A;a.B[a])
FDL editor aliases : per-exists

Latex:
per-exists(A;a.B[a]) == per-product(A;a.B[a]) Date html generated: 2016_05_13-PM-03_54_22 Last ObjectModification: 2015_09_22-PM-05_45_32 Theory : per!type Home Index