Nuprl Definition : experimental-orFunctionality def

experimental{orFunctionality}(possibleextract) ==  possibleextract



FDL editor aliases :  experimental

Latex:
experimental\{orFunctionality\}(possibleextract)  ==    possibleextract



Date html generated: 2016_05_15-PM-03_13_49
Last ObjectModification: 2015_09_23-AM-07_42_45

Theory : general


Home Index