Nuprl Definition : fl_all
(∀i.phi) == fl-all-hom(I;i) phi
Definitions occuring in Statement :
fl-all-hom: fl-all-hom(I;i),
apply: f a
Definitions occuring in definition :
apply: f a,
fl-all-hom: fl-all-hom(I;i)
FDL editor aliases :
fl_all
Latex:
(\mforall{}i.phi) == fl-all-hom(I;i) phi
Date html generated:
2016_05_18-PM-00_17_39
Last ObjectModification:
2016_03_25-AM-11_12_53
Theory : cubical!type!theory
Home
Index