Nuprl Definition : fset-size
||s|| == ||remove-repeats(eq;s)||
Definitions occuring in Statement :
remove-repeats: remove-repeats(eq;L),
length: ||as||
Definitions occuring in definition :
length: ||as||,
remove-repeats: remove-repeats(eq;L)
FDL editor aliases :
fset-size
Latex:
||s|| == ||remove-repeats(eq;s)||
Date html generated:
2016_05_14-PM-03_45_35
Last ObjectModification:
2015_10_06-PM-01_34_28
Theory : finite!sets
Home
Index