Nuprl Definition : per-all

per-all(A;a.B[a]) ==  per-function(A;a.B[a])


Definitions occuring in Statement :  per-function: per-function(A;a.B[a])
Definitions occuring in definition :  per-function: per-function(A;a.B[a])
FDL editor aliases :  per-all
Latex:
per-all(A;a.B[a])  ==    per-function(A;a.B[a])


Date html generated: 2016_05_13-PM-03_54_10
Last ObjectModification: 2015_09_22-PM-05_45_31

Theory : per!type


Home Index