Nuprl Definition : fset-pair
{a,b} == [a; b]
Definitions occuring in Statement :
cons: [a / b],
nil: []
Definitions occuring in definition :
cons: [a / b],
nil: []
FDL editor aliases :
fset-pair
Latex:
\{a,b\} == [a; b]
Date html generated:
2016_05_14-PM-03_38_53
Last ObjectModification:
2015_10_08-PM-02_05_50
Theory : finite!sets
Home
Index