Nuprl Definition : permr_massoc_rel
≡~ == as,bs:|g| List. as ≡ bs upto ~
Definitions occuring in Statement :
permr_massoc: as ≡ bs upto ~,
list: T List,
grp_car: |g|,
ab_binrel: x,y:T. E[x; y]
Definitions occuring in definition :
ab_binrel: x,y:T. E[x; y],
list: T List,
grp_car: |g|,
permr_massoc: as ≡ bs upto ~
Latex:
\mequiv{}\msim{} == as,bs:|g| List. as \mequiv{} bs upto \msim{}
Date html generated:
2016_05_16-AM-07_45_15
Last ObjectModification:
2015_09_23-AM-09_51_57
Theory : factor_1
Home
Index