Nuprl Definition : sym_grp
Sym(n) == Perm(ℕn)
Definitions occuring in Statement :
perm: Perm(T),
int_seg: {i..j-},
natural_number: $n
Definitions occuring in definition :
perm: Perm(T),
int_seg: {i..j-},
natural_number: $n
Latex:
Sym(n) == Perm(\mBbbN{}n)
Date html generated:
2016_05_16-AM-07_29_25
Last ObjectModification:
2015_09_23-AM-09_51_16
Theory : perms_1
Home
Index