Nuprl Definition : experimental-impliesFunctionality def
experimental{impliesFunctionality}(possibleextract) == possibleextract
FDL editor aliases :
experimental
Latex:
experimental\{impliesFunctionality\}(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