Nuprl Definition : sqntype def

SqnType(T) ==  PRIMITIVE


Rules referencing :  sqntypeEquality,  sqntypeIntro,  sqntypeDef
FDL editor aliases :  sqntype
Latex:
SqnType(T)  ==    PRIMITIVE


Date html generated: 2016_05_13-PM-03_03_36
Last ObjectModification: 2012_12_13-PM-00_52_39

Theory : core_1


Home Index