Nuprl Definition : fset-powerset
fset-powerset(eq;s) == list-powerset(eq;s)
Definitions occuring in Statement :
list-powerset: list-powerset(eq;L)
Definitions occuring in definition :
list-powerset: list-powerset(eq;L)
FDL editor aliases :
fset-powerset
Latex:
fset-powerset(eq;s) == list-powerset(eq;s)
Date html generated:
2016_05_14-PM-03_48_37
Last ObjectModification:
2015_10_06-PM-01_33_16
Theory : finite!sets
Home
Index