Nuprl Definition : experimental-uallFunctionality def

experimental{uallFunctionality}(possibleextract) ==  possibleextract



FDL editor aliases :  experimental

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



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

Theory : general


Home Index