Nuprl Definition : sqequal_n def
s ~n t == PRIMITIVE
Rules referencing :
sqequalnReflexivity,
sqequal_n rule,
sqntypeIntro,
sqntypeDef,
sqequalZero,
sqequalDefinition,
sqequalnSqlen,
sqlenSqequaln,
sqequalnSymm,
sqequalnIntensionalEquality
FDL editor aliases :
simn
Latex:
s \msim{}n t == PRIMITIVE
Date html generated:
2016_05_13-PM-03_03_33
Last ObjectModification:
2012_07_09-AM-11_58_04
Theory : core_1
Home
Index