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