Nuprl Definition : abdgrp
AbDGrp == {g:AbGrp| IsEqFun(|g|;=b)}
Definitions occuring in Statement :
abgrp: AbGrp,
grp_eq: =b,
grp_car: |g|,
eqfun_p: IsEqFun(T;eq),
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
abgrp: AbGrp,
eqfun_p: IsEqFun(T;eq),
grp_car: |g|,
grp_eq: =b
Latex:
AbDGrp == \{g:AbGrp| IsEqFun(|g|;=\msubb{})\}
Date html generated:
2016_05_15-PM-00_09_29
Last ObjectModification:
2015_09_23-AM-06_24_31
Theory : groups_1
Home
Index