Nuprl Definition : one_or_both
one_or_both(A;B) == A × B + A + B
Definitions occuring in Statement :
product: x:A × B[x],
union: left + right
Definitions occuring in definition :
product: x:A × B[x],
union: left + right
FDL editor aliases :
one_or_both
Latex:
one\_or\_both(A;B) == A \mtimes{} B + A + B
Date html generated:
2016_05_15-PM-05_30_53
Last ObjectModification:
2015_09_23-AM-07_55_04
Theory : general
Home
Index