Nuprl Definition : sub-presheaf-set
X | I,rho.P[I; rho] == X|I,rho.P[I; rho]
Definitions occuring in Statement :
presheaf-subset: F|I,rho.P[I; rho]
Definitions occuring in definition :
presheaf-subset: F|I,rho.P[I; rho]
FDL editor aliases :
sub-presheaf-set
Latex:
X | I,rho.P[I; rho] == X|I,rho.P[I; rho]
Date html generated:
2018_05_22-PM-09_58_54
Last ObjectModification:
2018_02_19-PM-06_12_21
Theory : presheaf!models!of!type!theory
Home
Index