Nuprl Definition : typed-psc-fst
tp{i:l} == p
Definitions occuring in Statement :
psc-fst: p
Definitions occuring in definition :
psc-fst: p
FDL editor aliases :
typed-psc-fst
Latex:
tp\{i:l\} == p
Date html generated:
2018_05_23-AM-08_11_47
Last ObjectModification:
2018_02_21-PM-01_09_14
Theory : presheaf!models!of!type!theory
Home
Index