Nuprl Definition : per-and
per-and(A;B) == per-product(A;null_var.B)
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-and
Latex:
per-and(A;B) == per-product(A;null$_{var}$.B)
Date html generated:
2016_05_13-PM-03_54_25
Last ObjectModification:
2015_09_22-PM-05_45_32
Theory : per!type
Home
Index