Nuprl Definition : rv-permutation-group
Perm(rv) == Perm(rv)
Definitions occuring in Statement :
rv-sep-witness: rv-sep-witness(rv;x;y),
permutation-s-group: Perm(rv),
lambda: λx.A[x]
Definitions occuring in definition :
rv-sep-witness: rv-sep-witness(rv;x;y),
lambda: λx.A[x],
permutation-s-group: Perm(rv)
FDL editor aliases :
rv-perm
Latex:
Perm(rv) == Perm(rv)
Date html generated:
2016_11_08-AM-09_20_43
Last ObjectModification:
2016_11_03-AM-11_24_50
Theory : inner!product!spaces
Home
Index