Nuprl Definition : known_not_false
known_not_false(t) == t
Latex:
known\_not\_false(t) == t
Date html generated: 2016_05_15-PM-03_21_17
Last ObjectModification: 2015_09_23-AM-07_42_56
Theory :
general
Home
Index