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