Nuprl Definition : false

False ==  Void



Definitions occuring in Statement :  void: Void
Definitions occuring in definition :  void: Void
Rules referencing :  StrongContinuity2
FDL editor aliases :  false

Latex:
False  ==    Void



Date html generated: 2016_05_13-PM-03_04_10
Last ObjectModification: 2015_09_22-PM-01_26_55

Theory : core_1


Home Index