Nuprl Definition : prop

ℙ ==  Type


Definitions occuring in Statement :  universe: Type
Definitions occuring in definition :  universe: Type
Rules referencing :  divergentSqle,  divergentSqlen
FDL editor aliases :  prop
Latex:
\mBbbP{}  ==    Type


Date html generated: 2016_05_13-PM-03_06_28
Last ObjectModification: 2015_09_22-PM-05_43_45

Theory : core_2


Home Index