Nuprl Definition : known_false

known_false(t) ==  t


FDL editor aliases :  known_false
Latex:
known\_false(t)  ==    t


Date html generated: 2016_05_15-PM-03_21_15
Last ObjectModification: 2015_09_23-AM-07_42_55

Theory : general


Home Index