Nuprl Definition : presheaf-it
* == discr(⋅)
Definitions occuring in Statement :
discrete-presheaf-term: discr(t),
it: ⋅
Definitions occuring in definition :
discrete-presheaf-term: discr(t),
it: ⋅
FDL editor aliases :
presheaf-it
Latex:
* == discr(\mcdot{})
Date html generated:
2018_05_23-AM-08_24_55
Last ObjectModification:
2018_02_21-PM-11_40_09
Theory : presheaf!models!of!type!theory
Home
Index