Nuprl Definition : void def
Void == PRIMITIVE
Rules referencing :
atom_eqEquality,
voidEquality,
voidElimination,
int_eqEquality,
lessEquality,
classicalIntroduction,
int_eqReduceFalseSq,
atomn_eqReduceFalseSq,
atom_eqReduceFalseSq,
atomn_eqEquality
Latex:
Void == PRIMITIVE
Date html generated:
2016_05_13-PM-03_03_37
Last ObjectModification:
2006_01_26-PM-03_52_26
Theory : core_1
Home
Index